Login / Signup
On the Relation of Programs and Computations to Models of Temporal Logic.
Pierre Wolper
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