Section: Dissemination

Software Dissemination and Internet Visibility

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

• We prepared and distributed 11 successive beta-versions (from 2009-f to 2009-i and from 2010-a to 2010-g “Zurich”) of Cadp .

• The number of license contracts signed for Cadp increased from 429 to 441.

• We were requested to grant Cadp licenses for 631 different computers in the world.

We co-operated with the legal department to simplify the distribution procedure for academic users of Cadp , who can now obtain the software using an entirely electronic procedure, which no longer requires the signature of paper copies of the license agreement.

We migrated all Cadp documentation and Web site to reflect recent changes in email addresses (cadp@inria.fr instead of cadp@inrialpes.fr ) and URLs (http://cadp.inria.fr instead of http://www.inrialpes.fr/vasy/cadp ).

The Vasy Web site (see http://vasy.inria.fr ) was updated with scientific contents, announcements, publications, etc. In 2011, we updated the Cadp Faq (list of frequently asked questions about Cadp ), aligning its structure with the Cadp Forum.

In September 2007, we opened the “Cadp Forum” (see http://cadp.inria.fr/forum.html ) for discussions regarding the Cadp toolbox. By the end of December 2011, this forum had over 195 registered users and over 1300 messages had been exchanged.