Back to Results
First PageMeta Content
Logic in computer science / Functional languages / L4 microkernel family / Isabelle / Microkernel / Formal verification / Kernel / Gernot Heiser / Haskell / Computer architecture / Computing / Software


Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ Philip Derrin
Add to Reading List

Document Date: 2014-09-30 10:30:54

Open Document

File Size: 58,59 KB

Share Result on Facebook
UPDATE