Section: Software and Platforms

The PIC2LNT Translator

Participants : Radu Mateescu, Gwen Salaün [correspondent] .

We develop a translator named PIC2LNT from an applied π-calculus (see §  6.1 ) to LNT, which enables the analysis of concurrent value-passing mobile systems using CADP.

PIC2LNT is developed by using the SYNTAX tool (developed at Inria Paris-Rocquencourt) for lexical and syntactic analysis together with LOTOS NT for semantical aspects, in particular the definition, construction, and traversal of abstract trees.

The PIC2LNT translator can be freely downloaded from the CONVECS Web site (http://convecs.inria.fr/software/pic2lnt ).