seL4: formal verification of an OS kernel.
Gerwin KleinKevin ElphinstoneGernot HeiserJune AndronickDavid CockPhilip DerrinDhammika ElkaduweKai EngelhardtRafal KolanskiMichael NorrishThomas SewellHarvey TuchSimon WinwoodPublished in: SOSP (2009)
Keyphrases
- formal verification
- model checking
- operating system
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- kernel function
- open source
- virtual machine
- feature space
- dynamic programming
- support vector
- formal methods
- kernel machines
- database manager
- kernel matrix
- gaussian processes
- kernel methods