Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

Member of the Organizing Committees

Scientific Events Selection

Chair of Conference Program Committees
Member of the Conference Program Committees


Member of the Editorial Boards
Reviewer - Reviewing Activities

Software Dissemination and Internet Visibility

The CONVECS project-team distributes several software tools: the CADP toolbox (see § 5.1), the TRAIAN compiler (see § 5.2), the PIC2LNT translator, the PMC model checker, and the DLC compiler.

In 2016, the main facts are the following:

The CONVECS Web site ( was updated with scientific contents, announcements, publications, etc.

By the end of December 2016, the CADP forum (, opened in 2007 for discussions regarding the CADP toolbox, had over 389 registered users and over 1769 messages had been exchanged.

Also, for the 2016 edition of the Model Checking Contest, we provided four families of models (totalling 62 Nested-Unit Petri Nets) derived from our LNT models. A journal article presenting the achievements of the Model Checking Contest since its origins has been published [15].

Other research teams took advantage of the software components provided by CADP (e.g., the BCG and OPEN/CAESAR environments) to build their own research software. We can mention the following developments:

Other teams also used the CADP toolbox for various case studies:

Awards and Distinctions

H. Garavel is an invited professor at Saarland University (Germany) as a holder of the Gay-Lussac Humboldt Prize.

Invited Talks