LTL with the Freeze Quantifier and Register Automata
Stéphane DemriRanko LazicPublished in: CoRR (2006)
Keyphrases
- deterministic automata
- finite automata
- model checking
- temporal logic
- automata theoretic
- probabilistic automata
- linear temporal logic
- finite state machines
- finite state
- quantifier elimination
- cellular automata
- regular expressions
- timed automata
- grammatical inference
- tree automata
- linear time temporal logic
- bounded model checking
- search engine