CWB-NC publications

Interested users may find more information about the CWB-NC in the following articles. 
  1. R. Cleaveland, G. Luettgen, V. Natarajan and S. Sims. "Modeling and verifying distributed systems using priorities: A case study." Software Concepts and Tools 17:50--62, 1996. Describes a case study conducted using the CWB-NC. 
  2. G. Bhat, R. Cleaveland and G. Lüttgen. A Practical Approach to Implementing Real-Time Semantics.  Annals of Software Engineering 7:127-155, 1999. Special issue on "Real-Time Software Engineering".  (C)1999 Baltzer Science Publishers. 
  3. R. Cleaveland and S. Sims.  Generic Tools for Verifying Concurrent Systems .To appear in Science of Computer Programming.  (C)1999 Elsevier. 
  4. Generic tools for verifying concurrent systems  In I. Lovrek, editor, Second International Workshop on Applied Formal Methods in System Design, pages 3--8, Zagreb, Croatia, June 1997. University of Zagreb, Faculty of Electrical Engineering and Computing. ISBN 953-184-004-0. 
  5. Efficient local model checking for fragments of the modal mu-calculus. In 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, pages 107--126, Passau, Germany, March 1996. Springer-Verla.
  6. The NCSU Concurrency Workbench.  In R. Alur and T. Henzinger, editors, Computer-Aided Verification (CAV '96), volume 1102 of Lecture Notes in Computer Science, pages 394--397, New Brunswick, NJ, July 1996. Springer-Verlag. 

[Home][Top level Commands][Simulator Commands][Download]