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:148 - 33 self