Overview

Complete formal verification is the only known way to guarantee that a system is free of programming errors, and one of the achievements of seL4.