Korat / News: Recent posts

Version 1.0 of the Korat testing tool has been released in open source at SourceForge. The project web page is http://korat.sourceforge.net.