An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report.

Yannick Lebrun Raphaël Khoury Sylvain Hallé

Published in: CoRR (2016)

Keyphrases

linear temporal logic
temporal logic
linear time temporal logic
model checking
bounded model checking
general purpose
finite state machines
deterministic automata
software engineering
domain specific
modal logic
concurrent systems
transition systems