Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis

This publication has 15 references indexed in Scilit:

• SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
  Published by Springer Nature ,2002
• Using Combinatorial Optimization Methods for Quantification Scheduling
  Published by Springer Nature ,2001
• Formal property verification by abstraction refinement with formal, simulation and hybrid engines
  Published by Association for Computing Machinery (ACM) ,2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Symbolic Model Checking without BDDs
  Published by Springer Nature ,1999
• NuSMV: A New Symbolic Model Verifier
  Lecture Notes in Computer Science, 1999
• Stepwise CTL Model Checking of State/Event Systems
  Published by Springer Nature ,1999
• Incremental CTL model checking using BDD subsetting
  Published by Association for Computing Machinery (ACM) ,1998
• SATO: An efficient propositional prover
  Lecture Notes in Computer Science, 1997
• An iterative approach to language containment
  Published by Springer Nature ,1993