CertiKOS
Certified Kit Operating System
Certified Kit Operating System
Clean-slate design with end-to-end guarantees on extensibility, security, and resilience. Without Zero-Day Kernel Vulnerabilities.
Divides a complex system into multiple certified abstraction layers, which are deep specifications of their underlying implementations.
New formal methods, languages, compilers and other tools for developing, checking, and automating specs and proofs.