Login / Signup

The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.

Rance CleavelandJoachim ParrowBernhard Steffen
Published in: ACM Trans. Program. Lang. Syst. (1993)
Keyphrases
  • concurrent systems
  • temporal logic
  • distributed systems
  • model checking
  • process algebra
  • formal specification
  • transition systems
  • petri net
  • neural network
  • database systems
  • data sets
  • case study
  • building blocks