[rollover text here]
[sri home][about SRI][working with SRI][r&d][careers][news]


 
[...]
Information &
Computing Sciences

 
Computer Science Laboratory


[] Contact
 
[] People
 
[] Research
 
[] Publications
 
[] Jobs
 

 

[imagemap - load image please]









Programs
 
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:
Recent Publications:



[top]

Home | About Us | Working with SRI | R&DCareers | News

[copyright]
SRI from A to ZSearchContact UsSRI JapanJobs @ SRISRI NewsBack to Top