SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques

This publication has 9 references indexed in Scilit:

• 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
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• 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
• Computer-Aided Verification of Coordinating Processes
  Published by Walter de Gruyter GmbH ,1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• An iterative approach to language containment
  Published by Springer Nature ,1993
• Induction of decision trees
  Machine Learning, 1986