Login / Signup
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