Runtime Verification Based on Register Automata.
Radu GrigoreDino DistefanoRasmus Lerchedahl PetersenNikos TzevelekosPublished in: TACAS (2013)
Keyphrases
- model checking
- cellular automata
- finite automata
- finite state
- regular expressions
- formal verification
- concurrent systems
- finite state machines
- tree automata
- timed automata
- markov chain
- signature verification
- formal language theory
- lattice gas
- formal languages
- asynchronous circuits
- cryptographic protocols
- data sets
- search algorithm
- knowledge base
- computer vision
- databases