Checking Safety Properties Using Induction and a SAT-Solver
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 127-144
- https://doi.org/10.1007/3-540-40922-x_8
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A Tutorial on Stålmarck's Proof Procedure for Propositional LogicFormal Methods in System Design, 2000
- Symbolic model checking using SAT procedures instead of BDDsPublished by Association for Computing Machinery (ACM) ,1999
- Symbolic Model Checking without BDDsPublished by Defense Technical Information Center (DTIC) ,1999