Project

High-Assurance Software

Tools for building software with machine-checked proofs of correctness