-automata for formulas of linear temporal logic.

Joachim Klein Christel Baier

Published in: Theor. Comput. Sci. (2006)

Keyphrases

linear temporal logic
linear time temporal logic
temporal logic
deterministic automata
model checking
bounded model checking
finite state
cellular automata
finite automata
regular expressions
object oriented
model checker
modal operators