Principal software

• CADP toolbox for the formal specification and analysis of asynchronous concurrent systems

Companion software

• DLC translator (Distributed LNT Compiler) from LNT to TCP-socket code


• GRL translator from GRL (GALS Representation Language) to LNT


• PIC2LNT translator from applied pi-calculus to LNT


• PMC partial model checker for networks of automata


• SYNTAX generator for lexical and syntactic analyzers


• TESTOR on-the-fly conformance test case generation


• TRAIAN compiler for LOTOS NT specifications