DMCA
seL4: Formal Verification of an OS Kernel (2009)
Cached
Download Links
by
Gerwin Klein
,
Kevin Elphinstone
,
Gernot Heiser
,
June Andronick
,
David Cock
,
Philip Derrin
,
Dhammika Elkaduwe
,
Kai Engelhardt
,
Rafal Kolanski
,
Michael Norrish
,
Thomas Sewell
,
Harvey Tuch
,
Simon Winwood
Venue: | ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES |
Citations: | 286 - 45 self |