Forest automata for verification of heap manipulation.
Peter HabermehlLukás HolíkAdam RogalewiczJirí SimácekTomás VojnarPublished in: Formal Methods Syst. Des. (2012)
Keyphrases
- data structure
- model checking
- finite automata
- regular expressions
- cellular automata
- formal verification
- probabilistic automata
- timed automata
- asynchronous circuits
- finite state machines
- concurrent systems
- finite state
- face verification
- signature verification
- np hard
- verification method
- genetic algorithm
- lattice gas
- turing machine
- person identification
- temporal logic
- multi agent systems
- bayesian networks
- computer vision