Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs.
Valery A. NepomniaschyPublished in: Pillars of Computer Science (2008)
Keyphrases
- data structure
- verification method
- model checking
- temporal logic
- intermediate level
- main memory
- computer programs
- database
- index structure
- data types
- efficient data structures
- automatic programming
- data streams
- attribute values
- suffix tree
- iterative process
- optimal solution
- control program
- decision trees
- input data
- answer sets
- low level
- fixpoint
- data structures and algorithms
- high level
- algorithms and data structures