Safety Verification and Refutation by k-invariants and k-induction (extended version).

Martin Brain Saurabh Joshi Daniel Kroening Peter Schrammel

Published in: CoRR (2015)

Keyphrases

inductive inference
model checking
safety analysis
machine learning
subgroup discovery
concept formation
safety critical
artificial intelligence
expert systems
inductive logic programming
inductive learning
rule induction
constructive induction
asynchronous circuits