The NCSU Concurrency Workbench
The NCSU Concurrency Workbench is a tool for verifying finite-state systems. A key feature is its flexibility; its modular design eases the task of adding new analyses and changing the language users employ for describing systems. This note gives an overview of the system's features, including its capacity for generating diagnostic information for incorrect systems, and discusses some of its applications.
Unable to display preview. Download preview PDF.
- 1.The NCSU Concurrency Workbench home page. URL http://www4.ncsu.edu/eos/users/r/rance/WWW/ncsu-cw.html.Google Scholar
- 2.G. Bhat and R. Cleaveland. Efficient local model checking for fragments of the modal μ-calculus. In Margaria and Steffen , pages 107–126.Google Scholar
- 3.U. Celikkan. Semantic Preorders in the Automated Verification of Concurrent Systems. PhD thesis, North Carolina State University, 1995.Google Scholar
- 4.U. Celikkan and R. Cleaveland. Computing diagnostic tests for incorrect processes. In Proceedings of the IFIP Symposium on Protocol Specification, Testing and Verification, pages 263–278, Lake Buena Vista, Florida, June 1992. North-Holland.Google Scholar
- 5.R. Cleaveland. On automatically explaining bisimulation inequivalence. In E.M. Clarke and R.P. Kurshan, editors, Computer Aided Verification (CAV '90), volume 531 of Lecture Notes in Computer Science, pages 364–372, Piscataway, NJ, June 1990. Springer-Verlag.Google Scholar
- 7.R. Cleaveland, G. Luettgen, V. Natarajan, and S. Sims. Priorities for verifying distributed systems. In Margaria and Steffen , pages 278–297.Google Scholar
- 8.R. Cleaveland, E. Madelaine, and S. Sims. A front-end generator for verification tools. In E. Brinksma, R. Cleaveland, K.G. Larsen, and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS '95), volume 1019 of Lecture Notes in Computer Science, pages 153–173, Aarhus, Denmark, May 1995. Springer-Verlag.Google Scholar
- 12.J. Gray. A CSP interface for the concurrency workbench. Undergraduate Honors Thesis, Department of Computer Science, North Carolina State University, May 1996.Google Scholar
- 13.T. Margaria and B. Steffen, editors. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), volume 1055 of Lecture Notes in Computer Science, Passau, Germany, March 1996. Springer-Verlag.Google Scholar
- 14.R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989.Google Scholar
- 15.F. MoDer and P. Stevens. The Edinburgh Concurrency Workbench (Version 7.0). University of Edinburgh, November 1994.Google Scholar