|Interested users may find more
information about the CWB-NC in the following articles.
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.
G. Bhat, R. Cleaveland and G. Lüttgen.
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.
R. Cleaveland and S. Sims. Generic
Tools for Verifying Concurrent Systems .To appear in Science of Computer
Programming. (C)1999 Elsevier.
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.
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.
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.