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.