SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home

Spacer
     
  SRI Logo

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:
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy