Towards bounded model checking using nonlinear programming solver.
Masataka NishiPublished in: ASE (2016)
Keyphrases
- nonlinear programming
- bounded model checking
- model checking
- linear programming
- formal verification
- variational inequalities
- optimization problems
- linear temporal logic
- temporal logic
- linear constraints
- equality and inequality constraints
- equality constraints
- semidefinite programming
- multi agent systems
- exact algorithms
- sensitivity analysis
- linear program
- constraint satisfaction
- dynamic programming
- evolutionary algorithm
- search space
- mixed integer nonlinear programming