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

by Rance Cleaveland , Joachim Parrow , Bernhard Steffen
Citations:103 - 3 self

Documents Related by Co-Citation

3218 Communication and Concurrency – R Milner - 1989
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
1183 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
160 Using partial orders for the efficient verification of deadlock freedom and safety properties, CAV ’91 – Patrice Godefroid, Pierre Wolper - 1992
625 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
2426 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
142 Data flow analysis for verifying properties of concurrent programs – Matthew B. Dwyer, Lori A. Clarke, Gleb Naumovich, Jamieson M. Cobleigh - 1994
3409 Communicating Sequential Processes – C. A. R. Hoare - 1985
323 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang - 1990
178 CCS expressions, finite state processes, and three problems of equivalence – P C Kanellakis, S A Smolka - 1990
40 Using Integer Programming to Verify General Safety and Liveness Properties – James C. Corbett, George S. Avrunin - 1993
393 An Algebraic Theory of Processes – M Hennessy - 1988
218 Algebra of communicating processes with abstraction – J A Bergstra, J W Klop - 1985
11 A comparison of non-interference and non-deducibility using CSP – P G Allen
159 Formal verification of parallel programs – R KELLER - 1976
728 Security policies and security models – J A Goguen, J Meseguer - 1982
105 Information flow in nondeterministic systems – J Todd Wittbold, Dale M Johnson - 1990
408 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984
59 Compositional Reachability Analysis Using Process Algebra – Wei Jen Yeh, Michal Young - 1991