A Hybrid of Counterexample-Based and Proof-Based Abstraction

This publication has 10 references indexed in Scilit:

• Automatic Abstraction without Counterexamples
  Published by Springer Nature ,2003
• Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation
  Published by Springer Nature ,2003
• Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis
  Published by Springer Nature ,2002
• SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
  Published by Springer Nature ,2002
• Chaff
  Published by Association for Computing Machinery (ACM) ,2001
• Formal property verification by abstraction refinement with formal, simulation and hybrid engines
  Published by Association for Computing Machinery (ACM) ,2001
• Model Checking of Safety Properties
  Formal Methods in System Design, 2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• An iterative approach to language containment
  Published by Springer Nature ,1993
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985