- Record: found
- Abstract: not found
- Conference Proceedings: not found
seL4 : formal verification of an OS kernel
proceedings-article
Gerwin Klein ,
Michael Norrish ,
Thomas Sewell ,
Harvey Tuch ,
Simon Winwood ,
Kevin Elphinstone ,
Gernot Heiser ,
June Andronick ,
David Cock ,
Philip Derrin ,
Dhammika Elkaduwe ,
Kai Engelhardt ,
Rafal Kolanski
2009
the ACM SIGOPS 22nd symposium (SOSP '09)
November 11, 2009 - November 14, 2009
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.