Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure
- 24 February 2005
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 7 (2) , 143-155
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis2002
- Symbolic Localization Reduction with Reconstruction Layering and Backtracking2002
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques2002
- Property Checking via Structural Analysis2002
- Symbolic Reachability Analysis Based on SAT-Solvers2000
- Symbolic Model Checking without BDDs1999
- VIS: A system for verification and synthesis1996
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Defining livenessInformation Processing Letters, 1985
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977