Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations.

Alexey Solovyev Thomas C. Hales

Published in: NASA Formal Methods (2013)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
sufficient conditions
symbolic model checking
temporal logic
taylor series
linear approximation
program slicing
neural network
numerical integration
integer variables