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:102 - 3 self

Documents Related by Co-Citation

3219 Communication and Concurrency – R Milner - 1990
70 Automated Analysis of Concurrent Systems with the Constrained Expression Toolset – George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden - 1991
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
159 Using partial orders for the efficient verification of deadlock freedom and safety properties – P Godefroid, P Wolper - 1993
623 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
179 CCS expressions, finite state processes, and three problems of equivalence – Paris C Kanellakis, Scott A Smolka - 1990
40 Using Integer Programming to Verify General Safety and Liveness Properties – James C. Corbett, George S. Avrunin - 1993
142 Data flow analysis for verifying properties of concurrent programs – Matthew B. Dwyer, Lori A. Clarke, Gleb Naumovich, Jamieson M. Cobleigh - 1994
321 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L H Hwang - 1990
394 Algebraic Theory of Processes – M Hennessy - 1988
219 Algebra of communicating processes with abstraction – J Bergstra, J Klop - 1985
1330 A Calculus of Communicating Systems – R Milner - 1980
11 A comparison of non-interference and non-deducibility using CSP – P G Allen
102 Information flow in nondeterministic systems – J T Wittbold, D M Johnson - 1990
161 Formal verification of parallel programs – R Keller
721 Security policies and security models – J A Goguen, J Meseguer - 1982
409 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984