Model Checking Recursive Programs with Numeric Data Types.
Matthew HagueAnthony Widjaja LinPublished in: CAV (2011)
Keyphrases
- data types
- model checking
- recursive programs
- program synthesis
- logic programs
- temporal logic
- transformation rules
- database systems
- data model
- database management systems
- data structure
- formal verification
- model checker
- verification method
- formal methods
- data mining algorithms
- logic programming
- computation tree logic
- data analysis
- life cycle
- database
- query optimization
- object oriented
- management system
- data points
- query language