PVS: Combining Specification, Proof Checking, and Model Checking (1996)

Cached

Download Links

by S. Owre , S. Rajan , J. M. Rushby , N. Shankar , M. Srivas
Citations:206 - 4 self

Documents Related by Co-Citation

1097 Proof-Carrying Code – George C. Necula - 1997
600 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
1404 A Discipline of Programming – E W Dijkstra - 1976
82 An Overview of the MIZAR Project – Piotr Rudnicki - 1992
854 A formulation of the simple theory of types – Alonzo Church - 1940
602 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
160 Boolean and Cartesian Abstraction for Model Checking C Programs – Thomas Ball, Andreas Podelski, Sriram K. Rajamani - 2001
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
10 Simplify theorem prover. http://research.compaq.com/SRC/esc/simplify.html – D Detlefs, G Nelson, J Saxe
567 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
1975 A theory of timed automata – Rajeev Alur - 1999
23 PVS: Combining speci proof checking, and model checking – S Owre, S Rajan, J M Rushby, N Shankar, M K Srivas - 1996
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
22 Annotation Inference for Modular Checkers – Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino - 2000
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
44 A fixedpoint approach to implementing (co)inductive definitions – L C Paulson - 1994
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
5 The Coq Proof Assistant User’s Guide, version 6.1. INRIA-Rocquencourt et CNRSENS – C Cornes, J Courant, J-C Filliâtre, G Huet, P Manoury, C Muñoz - 1996