Team VASY

Members
Overall Objectives
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2004
Project: VASY

Project : vasy

Section: New Results


Case Studies and Practical Applications

Participants : Damien Bergamini, David Champelovier, Aurore Collomb, Hubert Garavel, Christophe Joubert, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe.

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

Other teams also used the Cadp toolbox for various case studies. To cite only recent work, 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:


previous
next

Logo Inria