Runtime Verification Based on Register Automata
Dino DistefanoRadu GrigoreRasmus Lerchedahl PetersenNikos TzevelekosPublished in: CoRR (2012)
Keyphrases
- model checking
- cellular automata
- formal verification
- finite automata
- tree automata
- artificial intelligence
- regular expressions
- finite state machines
- finite state
- asynchronous circuits
- formal methods
- probabilistic automata
- databases
- timed automata
- verification method
- signature verification
- face verification
- data model
- multiscale
- knowledge base