Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
Alexey SolovyevThomas C. HalesPublished in: CoRR (2013)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- sufficient conditions
- linear approximation
- difference equations
- taylor series
- temporal logic
- formal specification
- program slicing
- functional verification
- artificial intelligence
- linear inequalities