| PVS: A prototype verification system S Owre, J Rushby, N Shankar Automated Deduction—CADE-11, 748-752, 1992 | 2501 | 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, 2002 | 826 | 2002 |
| PVS: Combining specification, proof checking, and model checking S Owre, S Rajan, J Rushby, N Shankar, M Srivas Computer Aided Verification, 411-414, 1996 | 736 | 1996 |
| A tutorial introduction to PVS J Crow, S Owre, J Rushby, N Shankar, M Srivas Wift, 1995 | 467 | 1995 |
| Decision problems for propositional linear logic P Lincoln, J Mitchell, A Scedrov, N Shankar Annals of pure and applied logic 56 (1-3), 239-311, 1992 | 419 | 1992 |
| SAL 2 L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari International Conference on Computer Aided Verification, 496-500, 2004 | 384 | 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 | 325 | 1999 |
| An integration of model checking with automated proof checking S Rajan, N Shankar, M Srivas Computer Aided Verification, 84-97, 1995 | 311 | 1995 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 266 | 2000 |
| Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification, 681-682, 1999 | 260 | 1999 |
| Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 2002 | 245 | 2002 |
| Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996 | 244 | 1996 |
| The PVS proof checker: A reference manual N Shankar, S Owre, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993 | 231 | 1993 |
| PVS prover guide N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001 | 227 | 2001 |
| PVS system guide S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (5), 7, 1999 | 205 | 1999 |
| The PVS specification language S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993 | 203 | 1993 |
| ICS: Integrated Canonizer and Solver? JC Filliâtre, S Owre, H Rue* B, N Shankar International Conference on Computer Aided Verification, 246-249, 2001 | 189 | 2001 |
| Reverse engineering digital circuits using structural and functional analyses P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ... IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013 | 180 | 2013 |
| 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 | 176 | 1993 |
| System and method using information-based indicia for securing and authenticating transactions PD Lincoln, N Shankar US Patent 6,820,201, 2004 | 170 | 2004 |
Sam OwreSRI InternationalПодтвержден адрес электронной почты в домене sri.com
John RushbySRI InternationalПодтвержден адрес электронной почты в домене csl.sri.com
Harald RuessSRIПодтвержден адрес электронной почты в домене sri.com
patrick lincolnSRIПодтвержден адрес электронной почты в домене sri.com
Leonardo de MouraAmazon Web ServicesПодтвержден адрес электронной почты в домене amazon.com
Wenchao LiAssociate Professor, Boston UniversityПодтвержден адрес электронной почты в домене bu.edu
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalПодтвержден адрес электронной почты в домене csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyПодтвержден адрес электронной почты в домене eecs.berkeley.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryПодтвержден адрес электронной почты в домене jpl.nasa.gov
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaПодтвержден адрес электронной почты в домене math.upenn.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGПодтвержден адрес электронной почты в домене univ-grenoble-alpes.fr
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAПодтвержден адрес электронной почты в домене gatech.edu
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaПодтвержден адрес электронной почты в домене univr.it
Gary T. LeavensProfessor, University of Central FloridaПодтвержден адрес электронной почты в домене cs.ucf.edu
Eli SingermanIntel Corp.Подтвержден адрес электронной почты в домене intel.com
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityПодтвержден адрес электронной почты в домене princeton.edu
Pramod SubramanyanIndian Institute of Technology KanpurПодтвержден адрес электронной почты в домене cse.iitk.ac.in
