-
[June, 2000] CWB-NC version
1.2 is posted on web for testing. The final release should be ready in
10 days.
-
[June, 2000] Corrupted binary
distributions of Version 1.11 have been fixed
-
[May, 1999] A consultant
company, Reactive Systems Inc, is founded. Reactive Systems offers a suite
of tools and services useful to organizations building reactive systems.
The CWB-NC is the major verification tool they support. For more information,
you may visit their web site at www.reactive-systems.com
|