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.
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.
-
R. Cleaveland and S. Sims. Generic
Tools for Verifying Concurrent Systems .To appear in Science of Computer
Programming. (C)1999 Elsevier.
-
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.
-
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.
-
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.
|