Continuous Verification for Safety-Critical Software

Formal verification is powerful but expensive to run continuously. This project investigates lightweight verification checks that can run on every code change, catching a meaningful subset of critical defects without the cost of full formal proofs on every commit.