Using the Temporal Logic RDL for Design Specifications.

Dov M. Gabbay Ian M. Hodkinson Anthony Hunter

Published in: Concurrency: Theory, Language, And Architecture (1989)

Keyphrases

temporal logic
formal specification language
concurrent systems
model checking
modal logic
transition systems
knowledge based systems
satisfiability problem
reactive systems
formal methods
linear temporal logic
artificial intelligence
design process
model checker
bounded model checking