Forest Automata for Verification of Heap Manipulation.
Peter HabermehlLukás HolíkAdam RogalewiczJirí SimácekTomás VojnarPublished in: CAV (2011)
Keyphrases
- data structure
- model checking
- cellular automata
- finite automata
- finite state
- face verification
- regular expressions
- formal analysis
- concurrent systems
- verification method
- image sequences
- pattern matching
- manipulation tasks
- formal verification
- lattice gas
- databases
- tree automata
- formal methods
- knowledge base
- data mining
- neural network