LTL Satisfiability Checking.

Kristin Y. Rozier Moshe Y. Vardi

Published in: SPIN (2007)

Keyphrases

model checking
linear temporal logic
temporal logic
bounded model checking
deterministic automata
linear time temporal logic
formal verification
finite automata
transition systems
information retrieval
social networks
cooperative