|
77
|
Multiway Decision Graphs for Automated Hardware Verification
– F. Corella, Z. Zhou, X. Song, M. Langevin, E. Cerny
- 1996
|
|
43
|
Integrating Gandalf and HOL
– Joe Hurd
- 1999
|
|
468
|
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic
– M Gordon, T Melham
- 1993
|
|
35
|
Linking BDD-based Symbolic Evaluation to Interactive Theorem Proving
– J Joyce, C Seger
- 1993
|
|
31
|
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
– Mark D. Aagaard, Robert B. Jones, Carl-johan H. Seger
- 1999
|
|
26
|
Toward compiler implementation correctness proofs
– L Chirica, A Martin
- 1986
|
|
2605
|
Graph-based algorithms for Boolean function manipulation
– Randal E. Bryant
- 1986
|
|
14
|
Reachability programming in HOL98 using BDDs
– Michael J C Gordon
- 2000
|
|
793
|
Symbolic Boolean manipulation with ordered binary-decision diagrams
– Randal E Bryant
- 1992
|
|
87
|
An Integration of Model Checking with Automated Proof Checking
– S. Rajan, N. Shankar, M. K. Srivas
- 1995
|
|
4
|
Higher Order Logic and Hardware Veri Cambridge Tracts in Theoretical Computer Science 31
– T F Melham
- 1993
|
|
3
|
Importing MDG veri results into HOL
– H Xiong, P Curzon, S Tahar
- 1999
|
|
39
|
The PROSPER Toolkit
– Louise A. Dennis, Graham Collins, Michael Norrish, Richard Boulton, Konrad Slind, Graham Robinson, Mike Gordon, Tom Melham
- 2000
|
|
121
|
Edinburgh LCF: A Mechanised Logic of Computation
– M J C Gordon, R Milner, C P Wadsworth
- 1979
|
|
36
|
Experience with embedding hardware description languages in HOL
– Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel
- 1992
|
|
3
|
Importing MDG Verification Results into HOL
– Haiyan Xiong, Paul Curzon, Sofiène Tahar
|
|
28
|
Hardware verification using higher-order logic
– Alberto Camilleri, Mike Gordon, Tom Melham
- 1986
|
|
28
|
Higher Order Logic and Hardware Verification, Cambridge Tracts
– T Melham
- 1993
|
|
4
|
Proving Existential Theorems when Importing Results from MDG to HOL
– Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
- 2001
|
