Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.

Howard Barringer Ruurd Kuiper

Published in: Seminar on Concurrency (1984)

Keyphrases

temporal logic
model checking
knowledge based systems
modal logic
software engineering
satisfiability problem
dynamic constraints
transition systems
query answering
reactive systems
verification method
linear temporal logic