TRAIAN 2.1 released on November, 14, 2000

The VASY team is pleased to announce that the TRAIAN 2.1 compiler is available.

TRAIAN 2.1 is a compiler for LOTOS NT, a language very close to the forthcoming ISO standard E-LOTOS.

Since the release of TRAIAN 2.0 in February 2000, TRAIAN has been intensively used. In particular, the VASY team is using TRAIAN with profit to develop two advanced verification components of the CADP toolbox:

Version 2.1 of TRAIAN is a maintenance release. It fixes a few bugs in the compiler and provides a revised version of the LOTOS NT User Manual.

TRAIAN 2.1 is available for several platforms (Solaris, SunOS, Linux, and Windows). It can be freely downloaded from the TRAIAN Web Page located at:

Frederic Lang,
Mihaela Sighireanu,
Hubert Garavel

Back to the VASY Home Page