SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
Authors:
- 20 September 2002
- book chapter
- Published by Springer Nature
- p. 265-279
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Chaff2001
- Formal property verification by abstraction refinement with formal, simulation and hybrid engines2001
- Counterexample-Guided Abstraction Refinement2000
- NuSMV: A New Symbolic Model Verifier1999
- Stepwise CTL Model Checking of State/Event Systems1999
- Computer-Aided Verification of Coordinating Processes1995
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- An iterative approach to language containmentLecture Notes in Computer Science, 1993
- Induction of decision treesMachine Learning, 1986