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 2005, the Vasy team also worked on the following case studies:

A number of case-studies tackled by Vasy during the past years have been finalized and properly integrated in Cadp , which makes them available widely:

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