Login / Signup
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