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

Antoine Miné Jason Breck Thomas W. Reps

Published in: ESOP (2016)

Keyphrases

computational complexity
simulated annealing
cost function
np hard
optimal solution
search strategy
particle swarm optimization
linear programming
worst case
dynamic programming
objective function
multi objective
search space
ant colony optimization
evolutionary computation
randomly generated
constraint solver