Time structures in temporal logics.

T. Horne Laurette Pretorius

Published in: South Afr. Comput. J. (2003)

Keyphrases

temporal logic
model checking
modal logic
mazurkiewicz traces
satisfiability problem
concurrent systems
belief revision
temporal knowledge
reactive systems
predicate logic
verification method
transition systems
linear temporal logic
bounded model checking
computation tree logic