Verification of the MDG Components Library in HOL (1998)

by Paul Curzon , Sofiène Tahar , Otmane Aït Mohamed
Citations:7 - 6 self

Documents Related by Co-Citation

77 Multiway Decision Graphs for Automated Hardware Verification – F. Corella, Z. Zhou, X. Song, M. Langevin, E. Cerny - 1996
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
43 Integrating Gandalf and HOL – Joe Hurd - 1999
2976 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
35 Linking BDD-based symbolic evaluation to interactive theorem-proving – Jeffrey Joyce, Carl-Johan Seger - 1993
367 ML for the Working Programmer – L Paulson - 1996
90 An Integration of Model Checking with Automated Proof Checking – S. Rajan, N. Shankar, M. K. Srivas - 1995
33 Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving – Mark D. Aagaard, Robert B. Jones, Carl-johan H. Seger - 1999