|

Formal Methods and Dependable Systems
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.
Director: Dr. John Rushby
Staff Members:
Projects:
Papers:
|
|