CTesK 2.0 has been released
Friday, 30 January 2004
CTesK 2.0 has been released. The new version supports testing of asynchronous systems and contains full SEC semantic checker, automatic memory garbage collector for specification types and a new report generator. The tool can be used in both Microsoft Visual Studio 6.0 IDE and command line.
 
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences