Linear Temporal Logic of Constraint Automata.

Sara NavidPour Mohammad Izadi

Published in: CSICC (2008)

Keyphrases

linear temporal logic
temporal logic
deterministic automata
model checking
bounded model checking
finite state
cellular automata
finite automata
general purpose
computational complexity
markov chain
petri net
modal logic