Login / Signup
Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects.
Antony Galton
Published in:
Log. J. IGPL (1997)
Keyphrases
</>
temporal logic
mathematical foundations
model checking
modal logic
satisfiability problem
concurrent systems
mazurkiewicz traces
verification method
linear temporal logic
transition systems
predicate logic
temporal knowledge
reactive systems
bounded model checking
query evaluation
computation tree logic