|
7
|
Designing a Theorem Prover
– Lawrence C Paulson
- 1990
|
|
81
|
Formal Verification in Hardware Design: A Survey
– Christoph Kern, Mark R. Greenstreet
- 1999
|
|
2
|
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
|
|
19
|
From LCF to HOL: a short history
– Mike Gordon
- 2000
|
|
11
|
Report on the Formal Specification and Partial Verification of the VIPER Microprocessor
– Bishop Brock, Warren A. Hunt
- 1991
|
|
|
Formalizing abstraction mechanisms . . .
– Thomas Frederick Melham
- 1990
|
|
59
|
Safety-Critical Systems, Formal Methods and Standards
– Jonathan P. Bowen, Jonathan Bowen, Victoria Stavridou, Victoria Stavridou
- 1993
|
|
13
|
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
|
|
70
|
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
|
|
57
|
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
|
|
32
|
Modality in Dialogue: Planning, Pragmatics and Computation
– Matthew Stone
- 1998
|
|
2
|
Knowledge Representation and Classical Logic
– Vladimir Lifschitz, Leora Morgenstern
|
|
|
Using the TPTP language for representing . . .
– Jens Otten, Geoff Sutcliffe
|
|
4
|
Specifying Instruction-Set Architectures in HOL: A Primer
– Phillip J. Windley
- 1994
|
