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
Last update Thu May 23 18:03:15 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page