Automata-driven automated induction
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A mechanizable induction principle for equational specificationsPublished by Springer Nature ,2005
- Specification and proof in membership equational logicPublished by Springer Nature ,1997
- Implicit induction in conditional theoriesJournal of Automated Reasoning, 1995
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Tree Automata Help One To Solve Equational Formulae In AC-TheoriesJournal of Symbolic Computation, 1994
- A rationale for conditional equational programmingTheoretical Computer Science, 1990
- A theorem prover for a computational logicPublished by Springer Nature ,1990
- Automatic proofs by induction in theories without constructorsInformation and Computation, 1989
- Inductive proofs by specification transformationsPublished by Springer Nature ,1989
- Conditional rewrite rulesTheoretical Computer Science, 1984