More recently, a comprehensive set of machine-checked proofs has been performed of the properties of the protection model of seL4, a version of L4.
Nedávno, pomocou uplného súboru dôkazov kontroly stoja(machine-checked) boli predvedené vlastnosti ochranného modelu seL4 verzie L4.