Almost correct invariants: synthesizing inductive invariants by fuzzing proofs.

Sumit Lahiri Subhajit Roy

Published in: ISSTA (2022)

Keyphrases

moment invariants
affine invariant
inductive learning
projective invariants
imperative programs
knowledge representation
invariant features
rule learning