| PVS: A prototype verification system S Owre, JM Rushby, N Shankar International Conference on Automated Deduction, 748-752, 1992 | 2486 | 1992 |
| Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS S Owre, J Rushby, N Shankar, F Von Henke IEEE transactions on software engineering 21 (2), 107-125, 1995 | 814 | 1995 |
| PVS: Combining specification, proof checking, and model checking S Owre, S Rajan, JM Rushby, N Shankar, M Srivas Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 726 | 1996 |
| A tutorial introduction to PVS J Crow, S Owre, J Rushby, N Shankar, M Srivas Wift, 1995 | 465 | 1995 |
| SAL 2 L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 374 | 2004 |
| PVS language reference S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (2), 21, 1999 | 330 | 1999 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 260 | 2000 |
| Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 1998 | 230 | 1998 |
| PVS prover guide N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001 | 228 | 2001 |
| Computing abstractions of infinite state systems compositionally and automatically S Bensalem, Y Lakhnech, S Owre Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 228 | 1998 |
| The PVS proof checker: A reference manual N Shankar, S Owre, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993 | 219 | 1993 |
| PVS system guide S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (5), 7, 1999 | 211 | 1999 |
| The PVS specification language S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993 | 197 | 1993 |
| ICS: Integrated Canonizer and Solver? JC Filliâtre, S Owre, H Rue* B, N Shankar Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 183 | 2001 |
| User guide for the PVS specification and verification system (Beta release) S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993 | 173 | 1993 |
| The SAL language manual L De Moura, S Owre, N Shankar Computer Science Laboratory, SRI International, Menlo Park, Tech. Rep. CSL-01-01, 2003 | 148 | 2003 |
| The formal semantics of PVS S Owre, N Shankar | 143 | 1999 |
| Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre International Conference on Tools and Algorithms for the Construction and …, 2001 | 121 | 2001 |
| PVS: an experience report S Owre, JM Rushby, N Shankar, DWJ Stringer-Calvert International Workshop on Current Trends in Applied Formal Methods, 338-345, 1998 | 111 | 1998 |
| An introduction to formal specification and verification using Ehdm J Rushby, F Von Henke, S Owre SRI International, Computer Science Laboratory, 1991 | 91 | 1991 |
