Property-directed k-induction.

Dejan Jovanovic Bruno Dutertre

Published in: FMCAD (2016)

Keyphrases

machine learning
desirable properties
rule induction
monotonicity property
data sets
data mining
information retrieval
artificial intelligence
website
web services
bayesian networks
inductive inference
subgroup discovery
inductive reasoning