Login / Signup

Specifying Communicating Systems with Temporal Logic.

Zhou Chaochen
Published in: Temporal Logic in Specification (1987)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • mazurkiewicz traces
  • dynamic constraints
  • reactive systems
  • communication channels
  • concurrent systems
  • satisfiability problem
  • linear temporal logic
  • expert systems