Login / Signup
An Automata-Theoretic Approach to Linear Temporal Logic.
Moshe Y. Vardi
Published in:
Banff Higher Order Workshop (1995)
Keyphrases
</>
linear temporal logic
deterministic automata
model checking
temporal logic
cellular automata
finite state
bounded model checking
finite state machines
finite automata
regular expressions
formal methods