# Formal Verification of Safety-Critical Kernel Code Is Now 71% Automated

- slug: formal-verification-of-safety-critical-kernel-code-is-now-71-automated
- date: 2026-03-23
- category: Artificial Intelligence

The operating system kernel at the heart of DARPA autonomous vehicles and Boeing rotorcraft runs on something unusual: mathematical proof.

---