Formal verification of an interior point algorithm instanciation.
Guillaume DavyEric FeronPierre-Loïc GarocheDidier HenrionPublished in: CoRR (2018)
Keyphrases
- formal verification
- interior point algorithm
- linear programming
- primal dual
- interior point methods
- model checking
- multicriteria optimization
- automated verification
- bounded model checking
- model checker
- simplex method
- linear program
- convex optimization
- symbolic model checking
- semidefinite programming
- program slicing
- special case
- quadratic programming
- finite state
- column generation
- convergence rate
- np hard