CADP Usage Statistics


  We are happy to announce that, in 2012, the 10,000-th license of CADP was granted.

Installations of CADP in the world during year 2016

This page gives figures about the dissemination of CADP around the world.

Please note that these figures do not correspond to downloads but to full CADP installations, completed from end to end. Installations of CADP performed by the members of the VASY and CONVECS teams are not counted in these figures. Also, multiple and/or successive installations of CADP on the same machine (e.g., different releases, 32- and 64-bit versions, etc.) count for only one each year.

Earlier Usage Statistics

In December 2011, the CADP software had been licensed to 441 sites (companies, research centers, universities, etc.), who signed the CADP License Agreement.

This statistics is no longer maintained since members of academic institutions (namely, universities and public research centers) no longer have to sign a License Agreement to obtain CADP (see the CADP Online Request Form for details).


Version 1.262 last updated on 2017/07/08 08:16:46

Back to the CADP Home Page