Induction in CEGAR for Detecting Counterexamples.

Chao Wang Aarti Gupta Franjo Ivancic

Published in: FMCAD (2007)

Keyphrases

machine learning
automatic detection
rule induction
artificial intelligence
e learning
inductive learning
constructive induction
social networks
support vector
program synthesis