seL4: formal verification of an operating-system kernel.
Gerwin KleinJune AndronickKevin ElphinstoneGernot HeiserDavid CockPhilip DerrinDhammika ElkaduweKai EngelhardtRafal KolanskiMichael NorrishThomas SewellHarvey TuchSimon WinwoodPublished in: Commun. ACM (2010)
Keyphrases
- operating system
- formal verification
- model checking
- computer systems
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- virtual machine
- distributed systems
- windows xp
- multi tasking
- virtual memory
- microsoft windows
- application programs
- address space
- linux kernel
- application level
- operating environment
- red hat
- information systems
- multi threaded
- temporal logic
- data warehouse
- data structure