The Notion of Proof in Hardware Verification (1989)

Cached

Download Links

by Avra Cohn
Citations:48 - 0 self

Active Bibliography

12 Report on the Formal Specification and Partial Verification of the VIPER Microprocessor – Bishop Brock , Warren A. Hunt, Jr. - 1990
A Case Study for the Real-Time Experimental Evaluation of the VIPER Microprocessor – Victor A. CarreƱo, Victor A. Carre~no, Rob K. Angellatta - 1991
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
3 Formal Methods: Why Should I Care? - The development of the T800 transputer floating-point unit – Jeremy Gibbons - 1993
1 Propositional Theorem Proving by Semantic Tree Trimming for Hardware Verification – William John Yakowenko - 1999
21 DDD-FM9001: Derivation of a Verified Microprocessor – Bhaskar Bose - 1994
18 A Correctness Model for Pipelined Microprocessors – Phillip J. Windley, Michael L. Coe
90 Formal Verification in Hardware Design: A Survey – Christoph Kern, Mark R. Greenstreet - 1999
19 Formal Hardware Verification By Symbolic Trajectory Evaluation – Alok Jain - 1997
22 A Verified Code Generator For A Subset Of Gypsy – William D. Young, William D. Young, William D. Young - 1988
13 A Theory of Generic Interpreters – Phillip J. Windley - 1993
20 Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment – Ramayya Kumar, Klaus Schneider, Thomas Kropf - 1993
2 From Formal Verification to Silicon Compilation – J. Joyce, E. Liu, J. Rushby, N. Shankar, R. Suaya, F. von Henke - 1991
60 Safety-Critical Systems, Formal Methods and Standards – Jonathan P. Bowen, Jonathan Bowen, Victoria Stavridou, Victoria Stavridou - 1993
3 An Overview of the Formal Specification and Verification of the FM9001 Microprocessor – Bishop C. Brock, Warren A. Hunt, Jr. - 1994
24 From LCF to HOL: a short history – Mike Gordon - 2000
7 Designing a Theorem Prover – Lawrence C Paulson - 1990
Open Mechanized Reasoning Systems – John McCarthy, Fausto Giunchiglia, Carolyn Talcott - 1992
47 Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems – Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott - 1994