Rule-based induction
- 1 July 1994
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 5 (1-2) , 7-33
- https://doi.org/10.1007/bf01384232
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Computing induction axiomsPublished by Springer Nature ,2005
- Providing a VHDL-interface for proof systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Boyer-Moore Automation for the HOL SystemPublished by Elsevier ,1993
- Generic Specification of Digital HardwarePublished by Springer Nature ,1991
- Proof-aided design of verified hardwarePublished by Association for Computing Machinery (ACM) ,1991
- Canonical Equational ProofsPublished by Springer Nature ,1991
- Guiding induction proofsPublished by Springer Nature ,1990
- The OYSTER-CLAM systemPublished by Springer Nature ,1990
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- Edinburgh LCFLecture Notes in Computer Science, 1979