TRAIAN 2.1 released on November, 14, 2000
The VASY team is pleased to announce that the TRAIAN 2.1 compiler is
TRAIAN 2.1 is a compiler for LOTOS NT, a language very close to
the forthcoming ISO standard
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.
- 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)
- 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.
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:
Back to the VASY Home Page