A Proof Checker for HOL (1996)

Cached

Download Links

by Wai Wong
Citations:5 - 1 self

Active Bibliography

15 Recording and Checking HOL Proofs – Wai Wong - 1995
A Generic Proof Checker – Geoffrey Norman Watson - 2001
2 An Embedding of Timed Transition Systems in HOL – Rachel Cardell-oliver, Roger Hale, John Herbert - 1993
1 Recording Proofs – Wai Wong - 1993
10 Reasoning About the Reals: the marriage of HOL and Maple – John Harrison - 1993
Towards Veri ed Systems OVERVIEW – Jonathan Bowen (ed - 1993
2 X-Machine Specification and Refinement of Digital Devices – Kirill Bogdanov, Matt Fairtlough, Mike Holcombe, Florentin Ipate, Camilla Jordan - 1997
Digital Design Derivation – unknown authors
unknown title – unknown authors
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
12 An Algebraic Framework for Modelling and Verifying Microprocessors using HOL – Anthony Fox - 2001
24 From LCF to HOL: a short history – Mike Gordon - 2000
153 Executing Temporal Logic Programs – Ben Moszkowski - 2000
Sequent Style Proof Terms for HOL – Tom Ridge
Representation and Validation of Mechanically Generated Proofs Final Report – Michael J. C. Gordon
1 A Deep Embedding of Z_C in Isabelle/HOL – Norbert Völker - 2001
7 Verification of the MDG Components Library in HOL – Paul Curzon, Sofiène Tahar, Otmane Aït Mohamed, Otmane Ait Mohamed - 1998
19 Program Tactics and Logic Tactics – Fausto Giunchiglia, Paolo Traverso - 1994
22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994