An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.

Antoine Min, Jason Breck, Thomas W. Reps

Browse the full ESOP paper archive.