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:25 - 8 self

Documents Related by Co-Citation

12771 Computers and Intractability; A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
570 Introduction to HOL: a theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
4662 Computer Architecture A Quantitative Approach, 2nd ed – J L Hennessy, D A Patterson - 1996
414 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
1258 Temporal and modal logic – E. Allen Emerson - 1995
3399 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
1436 Symbolic Model Checking – K L McMillan - 1993
42 Multi Level Verification of Microprocessor-Based Systems – J J Joyce - 1990
60 Microprocessor Design Verification – Warren Hunt, Copyright Warren, A. Hunt - 1989