| CARVIEW |
|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLPN Benchmarks
VLSAT Benchmarks VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
How to obtain the CADP software?
|
There are two different distribution procedures for the CADP software:
|
To obtain CADP, please fill in the present Form
All fields marked with a star (*) are mandatory, the other fields being optional.
Please note that we are not allowed to process incomplete request forms, nor requests mentioning "anonymous" e-mail addresses (such as msn, gmail, yahoo, etc). Thank you for your understanding.
Further questions should be addressed by e-mail to cadp@inria.fr.
Legal notice
In accordance with French law "loi Informatique et Libert?s", articles 39 and 40, you have the right to access and rectify data about you. In practice, proving your identity, you can ask us whether or not we process data about you and in case the answer is yes, which data, for which purpose and how. Besides, French law acknowledges your right to rectify, update and suppress these data.
INRIA has a "Correspondant Informatique et Libert?s" (CIL) to the "CNIL" in accordance with article 22 III of the French law "loi du 6 janvier 1978". The CIL maintains a registry of all data processings inside INRIA subject to declaration under this law. He also secures your right to access and rectify these data. For any such request, please contact cil at inria.fr
Mentions l?gales
Conform?ment aux articles 39 et 40 de la loi Informatique et Libert?s, vous disposez d'un droit d'acc?s et de rectification des donn?es vous concernant. En pratique, en justifiant de votre identit?, vous pouvez nous demander si nous traitons ou non vos donn?es, et si oui, quels types de donn?es, dans quel but et de quelle mani?re. En outre, la loi vous reconnait un droit de rectification, de mise ? jour et de suppression de ces donn?es.
L'INRIA a d?sign? un Correspondant Informatique et Libert?s (CIL) aupr?s de la CNIL, conform?ment ? l'article 22 III de la loi du 6 janvier 1978. Ce CIL tient un registre des traitements effectu?s en interne et normalement soumis ? d?claration. Il est en outre charg? d'assurer le droit d'acc?s et de rectification. Pour toute demande en ce sens, veuillez vous adresser ? cil at inria.fr
Version 2.21 last updated on 2023/06/02 11:09:48
Back to the CADP Home Page
