Formula Slicing: Inductive Invariants from Preconditions.

Egor George Karpenkov David Monniaux

Published in: Haifa Verification Conference (2016)

Keyphrases

explanation based learning
inductive learning
machine learning
inductive logic programming
affine invariant
moment invariants
concept learning
inductive reasoning
domain knowledge
inference rules
neural network
decision trees
situation calculus
geometric invariants
functional programs
imperative programs