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: New Software and Platforms

The PMC Partial Model Checker

Participants : Radu Mateescu, Frédéric Lang.

We develop a tool named PMC (Partial Model Checker, see §  6.4 ), which performs the compositional model checking of dataless MCL formulas on networks of communicating automata described in the EXP language.

PMC can be freely downloaded from the CONVECS Web site  ( ).