CertiKOS

Certified Kit Operating System



Certified OS Kernels

Clean-slate design with end-to-end guarantees on extensibility, security, and resilience. Without Zero-Day Kernel Vulnerabilities.

Layered Approach

Divides a complex system into multiple certified abstraction layers, which are deep specifications of their underlying implementations.

Languages and Tools

New formal methods, languages, compilers and other tools for developing, checking, and automating specs and proofs.