Main Software Contributions of Frédéric LANG

Since July 2000, I have been working in the VASY (until December 2011) then CONVECS (since January 2012) teams of INRIA Grenoble Rhône-Alpes. I have been contributing to the development of the following software tools:

TRAIAN

TRAIAN is a compiler for LOTOS NT data types. I participate to maintenance, debugging, and documentation.

CADP

CADP is a tool box for the validation and verification of asynchronous systems. I participate actively to maintenance, debugging, and documentation.

I am also the main developper of the following software tools:

	BCG_MIN 2.0: minimisation of explicit state graphs modulo bisimulations
	EXP.OPEN 2.0: compilation of networks of automata into the OPEN/CAESAR environment
	PROJECTOR 3.0: on-the-fly state graph generation under environment constraints
	REDUCTOR 5.0: on-the-fly state graph reduction modulo various equivalence relations
	SVL 2.0: compilation of compositional verification scripts into Bourne shell scripts

In addition, I contribute to the development of the following software tools:

	BCG: an environment for handling explicit state graphs
	FSP2LOTOS: translation of the FSP language of Kramer & Magee (Imperial College, London) to LOTOS and networks of automata
	LNT2LOTOS: translation of the LOTOS NT language to LOTOS