×

PVS

swMATH ID: 3484
Software Authors: Sam Owre, Natarajan Shankar, John Rushby
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; Nuprl; ACL2; ML; HOL Light; Mizar; SPIN; JML; z3; NQTHM; SIMPLIFY; TPTP; Uppaal; Isar; VAMPIRE; Maude; Theorema
Referenced in: 603 Publications
all top 5

Referenced by 850 Authors

20 Muñoz, César A.
19 Jacobs, Bart
17 Shankar, Natarajan
15 Rabe, Florian
13 Ayala-Rincón, Mauricio
10 Benzmüller, Christoph Ewald
10 Hesselink, Wim H.
10 Kohlhase, Michael
8 Lahiri, Shuvendu Kumar
8 Owre, Sam
8 Paulson, Lawrence Charles
7 Fokkink, Willem Jan
7 Hooman, Jozef Johannes Maria
7 Rueß, Harald
7 van de Pol, Jan Cornelis
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 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 Moore, J Strother
5 Moscato, Mariano M.
5 Müller, Dennis
5 Narkawicz, Anthony Joseph
5 Pang, Jun
5 Ranise, Silvio
5 Tews, Hendrik
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 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 Melquiond, Guillaume
4 Meseguer Guaita, José
4 Neron, Pierre
4 Popescu, Andrei
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
4 Weber, Tjark
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 Dutle, Aaron
3 Dwyer, Matthew B.
3 Evans, Neil D.
3 Ganzinger, Harald
3 Gasquet, Olivier
3 Giorgetti, Alain
3 Goerigk, Wolfgang
3 Groves, Lindsay J.
3 Hatcliff, John
3 Hosabettu, Ravi Mohan
3 Hunt, Warren A. jun.
...and 750 more Authors
all top 5

Referenced in 74 Serials

35 Formal Aspects of Computing
32 Journal of Automated Reasoning
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 MSCS. Mathematical Structures in Computer Science
5 Fundamenta Informaticae
5 Journal of Universal Computer Science
5 Lecture Notes 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
4
3 Nordic Journal of Computing
3 Logical Methods in Computer Science
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 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 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 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

Referencing Publications by Year