Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System.

Wolfgang Grieskamp Markus Lepper

Published in: LPAR (2000)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
formal specification
modal logic
satisfiability problem
concurrent systems
case study
power supply
computation tree logic
predicate logic
transition systems
linear temporal logic
temporal knowledge
reactive systems
inference rules
constraint satisfaction problems