Using BDDs with Combinations of Theories
- 24 October 2002
- book chapter
- Published by Springer Nature
- p. 190-201
- https://doi.org/10.1007/3-540-36078-6_13
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Equational Binary Decision DiagramsPublished by Springer Nature ,2002
- A Generalization of Shostak#x2019;s Method for Combining Decision ProceduresPublished by Springer Nature ,2002
- ICS: Integrated Canonizer and Solver?Published by Springer Nature ,2001
- System Description Using OBDD’s for the Validationof Skolem Verification ConditionsPublished by Springer Nature ,1999
- BDD based procedures for a theory of equality with uninterpreted functionsPublished by Springer Nature ,1998
- Combining constraint solving and symbolic model checking for a class of systems with non-linear constraintsPublished by Springer Nature ,1997
- On Shostak's decision procedure for combinations of theoriesPublished by Springer Nature ,1996
- CAVEAT: technique and tool for computer aided verification and transformationPublished by Springer Nature ,1995
- Proving with BDDs and control of informationPublished by Springer Nature ,1994
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986