[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]

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:


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

SRI from A to ZSearchContact UsSRI JapanJobs @ SRISRI NewsBack to Top