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:208 - 4 self

Active Bibliography

FME '96 Tutorial: An Introduction to Some Advanced Capabilities of PVS – Sam Owre, et al. - 1996
4 Computer-Aided Computing – Natarajan Shankar - 1995
44 Formalizing Space Shuttle Software Requirements – Judith Crow, Ben L. Di Vito - 1996
21 Applying Formal Verification to a Commercial Microprocessor – Mandayam K. Srivas, Steven P. Miller - 1995
1 Specification, Proof Checking, and Model Checking for Protocols and Distributed Systems with PVS – John Rushby - 1997
3 Mechanized Formal Methods: Progress and Prospects – John Rushby - 1996
151 Validity Checking for Combinations of Theories with Equality – Clark Barrett, David Dill, Jeremy Levitt - 1996
5 Mechanizing Formal Methods: Opportunities and Challenges – John Rushby - 1995
5 Transformations On Dependency Graphs: Formal Specification And Efficient Mechanical Verification – Sreeranga Prasannakumar Rajan - 1995
Generation of Witnesses for Global ยต-Calculus Model Checking – Alexander Kick
14 Implementing a Model Checker for LEGO – Shenwei Yu, Zhaohui Luo - 1997
19 On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction – V. Rusu, E. Singerman - 1999
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
30 A Mechanically Checked Proof of the Correctness of the Kernel of the AMD5K86 Floating-Point Division Algorithm – J Strother Moore, Tom Lynch, Matt Kaufmann - 1996
12 Formal Verification of the VAMP Floating Point Unit – Christoph Berg, Christian Jacobi - 2001
4 Rewriting, decision procedures and lemma speculation for automated hardware verification – Deepak Kapur - 1997
17 Acceptance of Formal Methods: Lessons from Hardware Design – David L. Dill , John Rushby - 1996
Design Structures for Formally Verified Floating Point Units – James F. Leathrum, Jr., Paul S. Miner - 1997
11 Verification of IEEE Compliant Subtractive Division Algorithms – Paul S. Miner, James F. Leathrum, Jr. - 1996