Team VASY

Members
Overall Objectives
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Case Studies and Practical Applications

Participants : David Champelovier, Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe.

In 2006, the Vasy project team also worked on the following case studies:

Other teams also used the Cadp toolbox for various case studies. To cite only recent work not already described in previous Vasy activity reports, we can mention:

Other research teams took advantage of the software components provided by Cadp (e.g., the Bcg and Open/Cæsar environments) to build their own research software. We can mention the following developments:

Finally, a textbook [48] was published, which uses Cadp as a software support for teaching concurrency theory.


previous
next

Logo Inria