Temporal Logic with Reference Pointers.

Valentin Goranko

Published in: ICTL (1994)

Keyphrases

temporal logic
model checking
modal logic
concurrent systems
satisfiability problem
belief revision
mazurkiewicz traces
predicate logic
reactive systems
formal specification language
linear temporal logic
computation tree logic
model checker
verification method