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









Projects: Formal Methods and Dependable Systems
 
Symbolic Analysis Laboratory (SAL)

Principal Investigator: Dr. John Rushby

Staff Members:

Recent Publications:



[top]

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

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