HOL Light: A tutorial introduction (1996)

Cached

Download Links

by John Harrison
Venue:Proceedings of the First International Conference on Formal Methods in Computer-Aided Design (FMCAD’96), volume 1166 of Lecture Notes in Computer Science
Citations:73 - 9 self

Active Bibliography

606 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
295 Symbolic Model Checking Using SAT Procedures instead of BDDs – A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, Y. Zhu - 1999
26 From LCF to HOL: a short history – Mike Gordon - 2000
9 HOL Light Tutorial (for version 2.20) – John Harrison - 2007
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
1 Introduction From LCF to HOL: a short history – Mike Gordon
235 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
39 Experience with embedding hardware description languages in HOL – Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel - 1992