SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.
Edmund M. ClarkeAnubhav GuptaJames H. KukulaOfer StrichmanPublished in: CAV (2002)
Keyphrases
- bounded model checking
- inductive logic programming
- machine learning
- model checking
- answer set programming
- ai planning
- machine learning methods
- formal verification
- machine learning algorithms
- sat solvers
- temporal logic
- relational learning
- background knowledge
- constraint solver
- linear temporal logic
- machine learning approaches
- refinement process
- high level
- search strategies
- neural network
- answer sets
- statistical methods
- lower bound
- data abstraction
- predicate invention