Progress on the State Explosion Problem in Model Checking
- 29 March 2001
- book chapter
- Published by Springer Science and Business Media LLC
- p. 176-194
- https://doi.org/10.1007/3-540-44577-3_12
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Datalog LITEACM Transactions on Computational Logic, 2002
- Model CheckingPublished by Elsevier BV ,2001
- GRASP: a search algorithm for propositional satisfiabilityIEEE Transactions on Computers, 1999
- Succinctness as a source of complexity in logical formalismsAnnals of Pure and Applied Logic, 1999
- Modal Languages and Bounded Fragments of Predicate LogicJournal of Philosophical Logic, 1998
- Succinct Representation, Leaf Languages, and Projection ReductionsInformation and Computation, 1998
- Languages represented by Boolean formulasInformation Processing Letters, 1997
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- ON THE COMPLEXITY OF VLSI IMPLEMENTATIONS AND GRAPH REPRESENTATIONS OF BOOLEAN FUNCTIONS WITH APPLICATION TO INTEGER MULTIPLICATIONIEEE Transactions on Computers, 1991
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986