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
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
- 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
- Li-Guo Wang:
Deriving a Correct Computer.
449-458
- Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave:
Formal Tools in Tri-State Design in Busses.
459-475
- Massimo Bombana, Patrizia Cavalloro, Giuseppe Zaza:
Specification and Formal Synthesis of Digital Circuits.
475-484
Simulation in Higher Order Logic
Extended Uses of Higher Oredr Logic
Copyright © Wed Nov 11 23:08:43 2009
by Michael Ley (ley@uni-trier.de)