• [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

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