5. TPHOLs 1992:
Leuven,
Belgium
Luc J. M. Claesen, Michael J. C. Gordon (Eds.):
Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992.
IFIP Transactions A-20 North-Holland/Elsevier 1993, ISBN 0-444-89880-8 BibTeX
@proceedings{DBLP:conf/tphol/1992,
editor = {Luc J. M. Claesen and
Michael J. C. Gordon},
title = {Higher Order Logic Theorem Proving and its Applications, Proceedings
of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24
September 1992},
booktitle = {TPHOLs},
publisher = {North-Holland/Elsevier},
series = {IFIP Transactions},
volume = {A-20},
year = {1993},
isbn = {0-444-89880-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Mathematical Logic Issues
Induction
General Modelling and Proofs
Formalizing and Modelling of Automata
Program Verification
Hardware Description Language Semantics
Hardware Verification Methodologies
- Saraswati Kalvala, Myla Archer, Karl N. Levitt:
Implementation and Use of Annotations in HOL.
407-426 BibTeX
- Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala:
Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit.
427-447 BibTeX
- Li-Guo Wang:
Deriving a Correct Computer.
449-458 BibTeX
- Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave:
Formal Tools in Tri-State Design in Busses.
459-475 BibTeX
- Massimo Bombana, Patrizia Cavalloro, Giuseppe Zaza:
Specification and Formal Synthesis of Digital Circuits.
475-484 BibTeX
Simulation in Higher Order Logic
Extended Uses of Higher Oredr Logic
Copyright © Sat May 16 23:43:56 2009
by Michael Ley (ley@uni-trier.de)