Login / Signup
On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.
David E. Muller
Paul E. Schupp
Ahmed Saoudi
Published in:
ICCI (1992)
Keyphrases
</>
temporal logic
model checking
automata theoretic
modal logic
linear temporal logic
satisfiability problem
verification method
computation tree logic
deductive databases
decision procedures
query answering
concurrent systems
mazurkiewicz traces
search algorithm
bounded model checking
formal specification language