ICS: Integrated Canonizer and Solver?
- 4 July 2001
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 246-249
- https://doi.org/10.1007/3-540-44585-4_22
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Solving Bit-Vector EquationsLecture Notes in Computer Science, 1998
- An industrial strength theorem prover for a logic based on Common LispIEEE Transactions on Software Engineering, 1997
- Validity checking for combinations of theories with equalityPublished by Springer Nature ,1996
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Deciding Combinations of TheoriesJournal of the ACM, 1984