Team VASY

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

Section: Dissemination

Software Dissemination and Internet Visibility

The Vasy team distributes two main software tools: the Cadp toolbox (see §  5.1 ) and the Traian compiler (see §  5.2 ). In 2005, the main facts are the following:

The Vasy Web site (see http://www.inrialpes.fr/vasy/cadp ) was regularly updated with scientific contents, announcements, publications, etc.


previous
next

Logo Inria