The Notion of Proof in Hardware Verification (1989)

Cached

Download Links

by Avra Cohn
Citations:48 - 0 self

Documents Related by Co-Citation

199 hol: A proof generating system for higher-order logic – M J C Gordon
56 A proof of correctness of the VIPER microprocessor: the first levels – A Cohn - 1987
37 Correctness properties of the Viper block model: the second level – Avra Cohn
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
29 The Mechanical Verification of a Microprocessor Design – Warren A Hunt - 1986
89 Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware – M Gordon - 1985
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
167 Logic and Computation: Interactive Proof with Cambridge LCF – L C Paulson - 1987
184 Isabelle: The next 700 theorem provers – L C Paulson - 1990
854 A formulation of the simple theory of types – Alonzo Church - 1940
533 A Computational Logic – R BOYER, J MOORE - 1979
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
199 Melham, editors. Introduction to HOL: A theorem proving environment for higher order logic – M J C Gordon, T F - 1993
92 Formal hardware verification methods: a Surveyā€¯. Formal Methods – A Gupta - 1992
12 Report on the Formal Specification and Partial Verification of the VIPER Microprocessor – Bishop Brock , Warren A. Hunt, Jr. - 1990
157 Verification of synchronous sequential machines based on symbolic execution – O Coudert, C Berthet, J C Madre - 1989
40 Multi Level Verification of Microprocessor-Based Systems – J JOYCE - 1990
60 Techniques for Verifying Superscalar Microprocessors – J R Burch - 1996