Using Integer Equations for High Level Formal Verification Property Checking.
Bijan AlizadehMohammad Reza KakoeePublished in: ISQED (2003)
Keyphrases
- formal verification
- high level
- model checking
- low level
- bounded model checking
- automated verification
- model checker
- symbolic model checking
- integer points
- temporal logic
- programming language
- program slicing
- mathematical model
- lower level
- functional verification
- linear equations
- numerical solution
- semantic information
- higher level
- nonlinear equations
- integer programming
- low level features
- software engineering
- dynamic programming
- totally unimodular