Bounded Quantifier Instantiation for Checking Inductive Invariants.

Yotam M. Y. Feldman Oded Padon Neil Immerman Mooly Sagiv Sharon Shoham

Published in: CoRR (2017)

Keyphrases

inductive learning
moment invariants
machine learning
inductive logic programming
invariant features
inductive reasoning
knowledge representation
inductive inference
neural network
genetic algorithm
social networks
information systems
asymptotically optimal
quasi invariant
imperative programs