Deductive Search for Errors in Free Data Type Specifications Using Model Generation
- 4 July 2002
- book chapter
- Published by Springer Nature
- p. 211-225
- https://doi.org/10.1007/3-540-45620-1_18
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Proof by consistency in equational theoriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Flaw Detection in Formal SpecificationsPublished by Springer Nature ,2001
- Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite ModelsJournal of Symbolic Computation, 2000
- Hilbert’s ∈-Terms in Automated Theorem ProvingPublished by Springer Nature ,1999
- A Deduction Method Complete for Refutation and Finite SatisfiabilityPublished by Springer Nature ,1998
- Hyperresolution and automated model buildingJournal of Logic and Computation, 1996
- Patching faulty conjecturesPublished by Springer Nature ,1996
- Proof plans for the correction of false conjecturesPublished by Springer Nature ,1994
- Disproving conjecturesPublished by Springer Nature ,1992
- SATCHMO: A theorem prover implemented in PrologPublished by Springer Nature ,1987