PVS swMATH ID: 3484 Software Authors: Owre, Sam; Shankar, Natarajan; Rushby, John Description: PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. PVS is a research prototype: it evolves and improves as we develop or apply new capabilities, and as the stress of real use exposes new requirements. Homepage: http://pvs.csl.sri.com/index.shtml Keywords: formal verification; theorem proving Related Software: Coq; Isabelle/HOL; HOL; Isabelle; ACL2; Nuprl; HOL Light; ML; Mizar; SPIN; z3; JML; TPTP; NQTHM; SIMPLIFY; Uppaal; Isar; VAMPIRE; Maude; TPS Cited in: 632 Documents Standard Articles 4 Publications describing the Software, including 4 Publications in zbMATH Year Fixpoints and search in PVS. Zbl 1186.68302Shankar, Natarajan 2010 A brief overview of PVS. Zbl 1165.68468Owre, Sam; Shankar, Natarajan 2008 Computer algebra meets automated theorem proving: Integrating Maple and PVS. Zbl 1005.68997Adams, Andrew; Dunstan, Martin; Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula; Owre, Sam 2001 Principles and pragmatics of subtyping in PVS. Zbl 0966.68515Shankar, Natarajan; Owre, Sam 2000 all top 5 Cited by 904 Authors 22 Muñoz, César A. 19 Jacobs, Bart 18 Shankar, Natarajan 17 Rabe, Florian 15 Ayala-Rincón, Mauricio 12 Benzmüller, Christoph Ewald 10 Hesselink, Wim H. 10 Kohlhase, Michael 9 Owre, Sam 9 Paulson, Lawrence Charles 9 van de Pol, Jan Cornelis 8 Lahiri, Shuvendu Kumar 7 Fokkink, Willem Jan 7 Hooman, Jozef Johannes Maria 7 Moscato, Mariano M. 7 Rueß, Harald 6 de Boer, Frank S. 6 Duan, Zhenhua 6 Farmer, William M. 6 Huisman, Marieke 6 Lester, David R. 6 Mayero, Micaela 6 Mitra, Sayan 6 Narkawicz, Anthony Joseph 6 Wiedijk, Freek 6 Zhang, Nan 5 Amjad, Hasan 5 Armando, Alessandro 5 Chkliaev, Dmitri A. 5 Constable, Robert Lee 5 de Roever, Willem-Paul 5 Groote, Jan Friso 5 Jacobi, Christian 5 Melquiond, Guillaume 5 Moore, J Strother 5 Müller, Dennis 5 Pang, Jun 5 Ranise, Silvio 5 Tews, Hendrik 5 Weber, Tjark 5 Woltzenlogel Paleo, Bruno 4 Ábrahám, Erika 4 Back, Ralph-Johan 4 Blanchette, Jasmin Christian 4 Boldo, Sylvie 4 Bryant, Randal E. 4 de Moura, Leonardo 4 Dill, David L. 4 Dutle, Aaron M. 4 Filliâtre, Jean-Christophe 4 Galdino, André Luiz 4 Gao, Hui 4 Gopalakrishnan, Ganesh Lalitha 4 Gottliebsen, Hanne 4 Kaliszyk, Cezary 4 Kreitz, Christoph 4 Lochbihler, Andreas 4 Martín-Mateos, Francisco-Jesús 4 Martin, Ursula 4 Meseguer Guaita, José 4 Neron, Pierre 4 Popescu, Andrei 4 Rushby, John 4 Rusinowitch, Michaël 4 Schellhorn, Gerhard 4 Seshia, Sanjit Arunkumar 4 Steffen, Martin 4 Stratulat, Sorin 4 Stump, Aaron 4 Tahar, Sofiène 4 Tian, Cong 3 Andrews, Peter B. 3 Avelar, Andréia Borges 3 Backes, Michael 3 Badban, Bahareh 3 Barrett, Clark W. 3 Barthe, Gilles 3 Bensalem, Saddek 3 Bertot, Yves 3 Borba, Paulo 3 Borrione, Dominique 3 Bulwahn, Lukas 3 Butterfield, Andrew 3 Cavalcanti, Ana 3 Chandy, Kanianthra Mani 3 Colvin, Robert J. 3 Doherty, Simon 3 Dold, Axel 3 Dong, JinSong 3 Dongol, Brijesh 3 Dowek, Gilles 3 Dwyer, Matthew B. 3 Evans, Neil D. 3 Feliú, Marco A. 3 Ganzinger, Harald 3 Gasquet, Olivier 3 Giorgetti, Alain 3 Goerigk, Wolfgang 3 Groves, Lindsay J. 3 Hatcliff, John ...and 804 more Authors all top 5 Cited in 76 Serials 37 Journal of Automated Reasoning 35 Formal Aspects of Computing 20 Formal Methods in System Design 18 Theoretical Computer Science 11 Science of Computer Programming 10 Journal of Formalized Reasoning 8 Information and Computation 8 The Journal of Logic and Algebraic Programming 7 Journal of Symbolic Computation 7 Journal of Applied Logic 5 Acta Informatica 5 Mathematical Structures in Computer Science 5 Fundamenta Informaticae 5 Journal of Universal Computer Science 5 Lecture Notes in Computer Science 5 Logical Methods in Computer Science 4 Journal of Functional Programming 4 Annals of Mathematics and Artificial Intelligence 4 Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science 3 Nordic Journal of Computing 2 Information Processing Letters 2 Annals of Pure and Applied Logic 2 Journal of Logic and Computation 2 Logic Journal of the IGPL 2 Journal of Combinatorial Optimization 2 Higher-Order and Symbolic Computation 2 Theory and Practice of Logic Programming 2 RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas 2 ACM Transactions on Computational Logic 2 Logica Universalis 2 Journal of Satisfiability, Boolean Modeling and Computation 2 Journal of Logical and Algebraic Methods in Programming 1 International Journal of Systems Science 1 Letters in Mathematical Physics 1 The Computer Journal. Section A / Section B 1 IEEE Transactions on Computers 1 Information Sciences 1 Mathematics and Computers in Simulation 1 Software. Practice & Experience 1 Studia Logica 1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica 1 Mathematical and Computer Modelling 1 Journal of Parallel and Distributed Computing 1 Data & Knowledge Engineering 1 Annals of Operations Research 1 Real-Time Systems 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 Distributed Computing 1 Applicable Algebra in Engineering, Communication and Computing 1 Experimental Mathematics 1 Journal of Logic, Language and Information 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Theory of Computing Systems 1 Journal of Zhengzhou University. Natural Science Edition 1 Journal of the ACM 1 Informatica (Vilnius) 1 LMS Journal of Computation and Mathematics 1 RAIRO. Theoretical Informatics and Applications 1 Optimization and Engineering 1 Concurrency and Computation: Practice & Experience 1 Journal of Applied Mathematics 1 Computing and Informatics 1 Sādhanā 1 Applied Mathematics, Informatics and Mechanics 1 Cambridge Tracts in Theoretical Computer Science 1 The Kluwer International Series in Engineering and Computer Science 1 Mathematics in Computer Science 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science 1 Computer Science Review 1 Undergraduate Topics in Computer Science 1 Texts in Computer Science 1 Texts in Theoretical Computer Science. An EATCS Series 1 Distinguished Dissertations 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 28 Fields 604 Computer science (68-XX) 129 Mathematical logic and foundations (03-XX) 17 Numerical analysis (65-XX) 15 Systems theory; control (93-XX) 13 Information and communication theory, circuits (94-XX) 11 Operations research, mathematical programming (90-XX) 10 General and overarching topics; collections (00-XX) 8 Real functions (26-XX) 4 Mathematics education (97-XX) 3 Combinatorics (05-XX) 3 Commutative algebra (13-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 2 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-XX) 2 Ordinary differential equations (34-XX) 2 Probability theory and stochastic processes (60-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Functional analysis (46-XX) Citations by Year