LTL with the freeze quantifier and register automata.
Stéphane DemriRanko LazicPublished in: ACM Trans. Comput. Log. (2009)
Keyphrases
- deterministic automata
- finite automata
- model checking
- finite state
- temporal logic
- linear temporal logic
- probabilistic automata
- timed automata
- bounded model checking
- regular expressions
- finite state machines
- quantifier elimination
- lattice gas
- cellular automata
- linear time temporal logic
- automata theoretic
- pattern matching
- finite state automata
- grammatical inference
- regular languages
- fuzzy measures
- data sets