TRAIAN 3.17 released on August 29, 2025

The CONVECS team is pleased to announce that version 3.17 of the TRAIAN compiler for LNT is available.

Release Notes

TRAIAN 3.17 has been prepared by Hubert Garavel, Frederic Lang, and Wendelin Serwe. It was released eight months after version 3.16 of TRAIAN. TO BE COMPLETED SOON

Future Work

For many years, TRAIAN has been used to develop compilers, including those of the CADP toolbox.

At present, TRAIAN is also part of the CADP toolbox, in which it serves to analyze formal specifications of concurrent systems.

We plan to further deepen the co-operation between TRAIAN and the LNT2LOTOS translator.

Download

TRAIAN 3.17 can be freely downloaded from the TRAIAN Web Page located at:

http://vasy.inria.fr/traian