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:

SVL (Script Verification Language), a language for compositional verification. The SVL compiler consists of 1900 lines of LOTOS NT code, 800 lines of Bourne shell-script, and 1300 lines of SYNTAX and (hand-written) C code.

Evaluator 4.0, a value-passing model-checker that combines the best features of XTL and Evaluator 3.0. Evaluator 4.0 consists of 6500 lines of LOTOS NT code and 7200 lines of SYNTAX and (hand-written) C code.

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:

http://vasy.inria.fr/traian

Frederic Lang,
Mihaela Sighireanu,
Hubert Garavel

Back to the VASY Home Page