Login / Signup
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.
Rance Cleaveland
Joachim Parrow
Bernhard 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