First Page | Document Content | |
---|---|---|
Date: 2014-09-30 10:30:54Logic 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 DerrinAdd to Reading ListSource URL: people.inf.ethz.chDownload Document from Source WebsiteFile Size: 58,59 KBShare Document on Facebook |