The Formal Methods program is the world leader in formal verification of computer systems. Our Prototype Verification System (PVS) provides rigorous assurance of correctness for mission-critical systems.