On the Relation of Programs and Computations to Models of Temporal Logic.

Published in: Temporal Logic in Specification (1987)

Keyphrases

temporal logic
model checking
modal logic
reactive systems
dynamic constraints
satisfiability problem
concurrent systems
model checker
verification method
knowledge base
process model
temporal information
belief revision
formal verification
temporal knowledge
mazurkiewicz traces