Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).
Leonardo Mendonça de MouraHarald RueßMaria SoreaPublished in: CAV (2003)
Keyphrases
- extended abstract
- bounded model checking
- model checking
- formal verification
- inductive inference
- temporal logic
- linear temporal logic
- inductive learning
- theorem proving
- model checker
- rule induction
- formal specification
- inductive logic programming
- theorem prover
- constructive induction
- multi agent systems
- distributed systems
- epistemic logic
- automated theorem proving
- concurrent systems
- formal methods
- machine learning