Automata-based verification of programs with tree updates.
Peter HabermehlRadu IosifTomás VojnarPublished in: Acta Informatica (2010)
Keyphrases
- tree traversal
- frequent updates
- tree structure
- model checking
- symbolic execution
- index structure
- tree models
- multi dimensional
- asynchronous circuits
- b tree
- tree construction
- face verification
- binary tree
- temporal logic
- tree search
- computer programs
- neural network
- hierarchical structure
- query processing
- data structure
- database systems