Sam Owre

Sam Owre

SRI International - California / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4381642
-
person_outline Sam Owre's MOST POPULAR ARTICLES
1-) PVS: A prototype verification systemS Owre, JM Rushby, N ShankarInternational Conference on Automated Deduction, 748-752, 199223771992
2-) Formal verification for fault-tolerant architectures: Prolegomena to the design of PVSS Owre, J Rushby, N Shankar, F Von HenkeIEEE Transactions on Software Engineering 21 (2), 107-125, 19957991995
3-) PVS: Combining specification, proof checking, and model checkingS Owre, S Rajan, JM Rushby, N Shankar, M SrivasInternational Conference on Computer Aided Verification, 411-414, 19966941996
4-) A tutorial introduction to PVSJ Crow, S Owre, J Rushby, N Shankar, M SrivasWift, 19954651995
5-) SAL 2L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A TiwariComputer Aided Verification: 16th International Conference, CAV 2004, Boston …, 20043742004