Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment (1993)

Cached

Download Links

by Ramayya Kumar , Klaus Schneider , Thomas Kropf
Venue:Formal Methods in System Design
Citations:20 - 7 self

Active Bibliography

7 Designing a Theorem Prover – Lawrence C Paulson - 1990
90 Formal Verification in Hardware Design: A Survey – Christoph Kern, Mark R. Greenstreet - 1999
3 Formal Methods: Why Should I Care? - The development of the T800 transputer floating-point unit – Jeremy Gibbons - 1993
21 DDD-FM9001: Derivation of a Verified Microprocessor – Bhaskar Bose - 1994
1 Propositional Theorem Proving by Semantic Tree Trimming for Hardware Verification – William John Yakowenko - 1999
24 From LCF to HOL: a short history – Mike Gordon - 2000
12 Report on the Formal Specification and Partial Verification of the VIPER Microprocessor – Bishop Brock , Warren A. Hunt, Jr. - 1990
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
60 Safety-Critical Systems, Formal Methods and Standards – Jonathan P. Bowen, Jonathan Bowen, Victoria Stavridou, Victoria Stavridou - 1993
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
19 Formal Hardware Verification By Symbolic Trajectory Evaluation – Alok Jain - 1997
78 leanTAP: Lean Tableau-based Deduction – Bernhard Beckert, Joachim Posegga - 1995
1 Embedding Hardware Verification within a Commercial Design Framework – Thomas Kropf, Ramayya Kumar, Klaus Schneider - 1993
59 Microprocessor Design Verification – Warren Hunt, Copyright Warren, A. Hunt - 1989
Set Theory as a Computational Logic: I. From Foundations to Functions – Lawrence C. Paulson - 1992
36 Modality in Dialogue: Planning, Pragmatics and Computation – Matthew Stone - 1998
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
Using the TPTP language for representing . . . – Jens Otten, Geoff Sutcliffe
PAAR-2010 Practical Aspects of Automated Reasoning – Boris Konev, Renate Schmidt, Stephan Schulz (eds, Boris Konev, Renate Schmidt, Stephan Schulz, Peter Baumgartner, Roberto Bruttomesso, Koen Claessen, Bernd Fischer, Pascal Fontaine, Jim Grundy, Volker Haarslev, John Harrison, Thomas Hillenbrand, Joe Hurd, Gerwin Klein, Konstantin Korovin, Temur Kutsia, Daniel Le Berre, William Mccune, Albert Oliveras, Jens Otten, Adam Pease, Silvio Ranise, Peter Schneider-kamp, John Slaney, Alan Smaill, Mark Stickel, Geoff Sutcliffe, Christoph Weidenbach