Software Dissemination and Internet Visibility
We prepared and distributed 15 successive beta-versions (2004-h, ..., 2004-k, 2005-a, ..., 2005-k) of Cadp , leading to a stable version named Cadp 2006 ``Edinburgh'', released on December 12, 2006.
The number of license contracts signed for Cadp increased from 345 to 366.
We were requested to grant Cadp licenses for 822 different computers in the world.
The Traian compiler was downloaded by 59 different sites.
The Vasy Web site (see http://www.inrialpes.fr/vasy ) was regularly updated with scientific contents, announcements, publications, etc.