Deciding Equality Formulas by Small Domains Instantiations
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 455-469
- https://doi.org/10.1007/3-540-48683-6_39
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Exploiting Positive Equality in a Logic of Equality with Uninterpreted FunctionsPublished by Springer Nature ,1999
- The Code Validation Tool (CVT)International Journal on Software Tools for Technology Transfer, 1998
- Translation validation for synchronous languagesPublished by Springer Nature ,1998
- Verification using uninterpreted functions and finite instantiationsPublished by Springer Nature ,1996
- Automatic verification of pipelined microprocessor controlPublished by Springer Nature ,1994