Symbolic model checking using SAT procedures instead of BDDs
- 1 June 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 317-320
- https://doi.org/10.1145/309847.309942
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Symbolic Model CheckingPublished by Springer Nature ,1993
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960