seL4
Taxonomy : system verification / kernel verification
Tag : C formal semantics / Haskell / Isabelle
;
Hyperkernel
Taxonomy : system verification / kernel verification / push-button verification
Tag : SMT solver
← Reading Papers - Kernel Fuzzing Reading Papers - Kernel Concurrency→