The concurrency workbench: A semantics based tool for the verification of concurrent systems (1991)

by Rance Cleaveland , Joachim Parrow , Bernhard Steffen
Venue:In Proceedings of the Workshop on Automatic Verification Methods for Finite State Machines
Citations:95 - 3 self

Active Bibliography

11 A semantics-based verification tool for finite-state systems – Rance Cleaveland, Joachim Parrow, Bernhard Steffen - 1990
94 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
1 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka - 1996
24 Testing-Based Abstractions for Value-Passing Systems – Rance Cleaveland, James Riely - 1994
26 Pushdown Processes: Parallel Composition and Model Checking – Olaf Burkart, Lehrstuhl Fur Informatik Ii, Bernhard Steffen, Fakultat Fur Mathematik Und Informatik - 1993
2 Verification of LOTOS Specifications using Term Rewriting Techniques – Carron Elizabeth Kirkwood - 1994
4 On Automatically Explaining Bisimulation Inequivalence – Rance Cleaveland - 1990
51 Weak Bisimulation for Fully Probabilistic Processes – Christel Baier, Holger Hermanns - 1999
11 Probabilistic Temporal Logics via the Modal Mu-Calculus – Murali Narasimha, Rance Cleaveland, Purush Iyer - 1999
5 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
13 Controlling State Explosion in Reachability Analysis – Wei Jen Yeh - 1993
59 Testing Equivalence as a Bisimulation Equivalence – Rance Cleaveland , Matthew Hennessy - 1993
1 Evidence-Based Verification – Li Tan, Li Tan, Li Tan - 2002
2 Unit Verification: The CARA Experience – Arnab Ray, Rance Cleaveland - 2004
Context Constraints for Automated Compositional Reachability Analysis – Shing-chi Cheung, Jeff Kramer, Shing Chi, Cheung Jeff Kramer - 1995
73 Model Checking for Context-Free Processes – Olaf Burkart, Bernhard Steffen - 1992
29 Computing Behavioural Relations, Logically – Rance Cleaveland, Bernhard Steffen - 1991
7 Finite axiom systems for testing preorder and De Simone Process Languages – Irek Ulidowski - 2000