CADP Usage Statistics


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
VLSAT Benchmarks VLTS Benchmarks Other Resources
About CADP
Contributors

Installations of CADP in the world between years 2019 and 2022

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.

From January 1st to November 20, 2024, we granted CADP licenses CADP for 378 different machines
(SunOS/x64: 0, Linux/x86: 3, Linux/x64: 326, MacOS/x64: 40, Windows/x64: 11).
During year 2023, we granted CADP licenses CADP for 145 different machines
(SunOS/x64: 0, Linux/x86: 2, Linux/x64: 123, Windows/x86: 6, Windows/x64: 8, MacOS/x64: 8).
During year 2022, we granted CADP licenses CADP for 208 different machines
(SunOS/x86: 0, SunOS/x64: 0, Linux/x86: 45, Linux/x64: 194, Windows: 3, MacOS/x64: 11).
During year 2021, we granted licenses of CADP for 290 different machines
(Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 14, Linux/x64: 263, Windows: 10, macOS/x64: 16).
During year 2020, we granted licenses of CADP for 222 different machines
(Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 9, Linux/x64: 198, Windows: 5, MacOS/x86: 2, MacOS/x64: 16).
During year 2019, we granted licenses of CADP for 340 different machines
(Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 68, Linux/x64: 298, Windows: 15, MacOS/x86: 11, MacOS/x64: 18).

We are happy to announce that, in 2019, the 15,000-th license of CADP was granted.
During year 2018, we granted licenses of CADP for 381 different machines
(Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 104, Linux/x64: 327, Windows: 13, MacOS/x86: 17, MacOS/x64: 20).
During year 2017, we granted licenses of CADP for 315 different machines
(Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 103, Linux/x64: 259, Windows: 9, MacOS/x86: 20).
During year 2016, we granted licenses of CADP for 507 different machines
(Solaris/Sparc32: 1, Solaris/Sparc64: 1, Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 317, Linux/x64: 407, Windows: 25, MacOS/x86: 29).
During year 2015, we granted licenses of CADP for 434 different machines
(Solaris/Sparc32: 1, Solaris/Sparc64: 1, Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 350, Linux/x64: 361, Windows: 30, MacOS/x86: 17).
During year 2014, we granted licenses of CADP for 433 different machines
(Solaris/Sparc32: 1, Solaris/Sparc64: 1, Solaris/x86: 1, Solaris/x64: 1, Linux/x86: 285, Linux/x64: 327, Windows: 32, MacOS/x86: 32).
During year 2013, we granted licenses of CADP for 934 different machines
(Solaris/Sparc32: 1, Solaris/Sparc64: 3, Solaris/x86: 1, Solaris/x64: 2, Linux/x86: 649, Linux/x64: 702, Linux/ia64: 0, Windows: 43, MacOS/PPC: 1, MacOS/x86: 85).
During year 2012, we granted licenses of CADP for 1227 different machines
(Solaris/Sparc32: 6, Solaris/Sparc64: 3, Solaris/x86: 1, Solaris/x64: 2, Linux/x86: 980, Linux/x64: 273, Linux/ia64: 0, Windows: 46, MacOS/PPC: 1, MacOS/x86: 82).
During year 2011, we granted licenses of CADP for 613 different machines
(Solaris/Sparc32: 8, Solaris/Sparc64: 3, Solaris/x86: 2, Solaris/x64: 2, Linux/x86: 268, Linux/x64: 310, Linux/ia64: 0, Windows: 25, MacOS/PPC: 1, MacOS/x86: 95).
During year 2010, we granted licenses of CADP for 507 different machines
(Solaris/Sparc32: 20, Solaris/Sparc64: 3, Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 354, Linux/x64: 130, Linux/ia64: 0, Windows: 31, MacOS/PPC: 1, MacOS/x86: 85).
During year 2009, we granted licenses of CADP for 760 different machines
(Solaris/Sparc32: 20, Solaris/Sparc64: 2, Linux/x86: 664, Linux/x64: 115, Linux/ia64: 0, Windows: 20, MacOS/PPC: 2, MacOS/x86: 49).
During year 2008, we granted licenses of CADP for 587 different machines
(Solaris/Sparc: 58, Linux/x86: 496, Linux/x64: 14, Linux/ia64: 1, Windows: 20, MacOS/PPC: 3, MacOS/x86: 9).
During year 2007, we granted licenses of CADP for 589 different machines
(Solaris/Sparc: 63, Linux/x86: 487, Windows: 26, MacOS/PPC: 7, MacOS/Intel: 6).
During year 2006, we granted licenses of CADP for 822 different machines
(Solaris/Sparc: 182, Linux/x86: 597, Windows: 30, MacOS/PPC: 13).
During year 2005, we granted licenses of CADP for 663 different machines
(Solaris/Sparc: 244, Linux/x86: 399, Windows: 16, MacOS/PPC: 4).
During year 2004, we granted licenses of CADP for 679 different machines
(Solaris/Sparc: 289, Linux/x86: 372, Windows: 16, MacOS/PPC: 2).
During year 2003, we granted licenses of CADP for 838 different machines.
During year 2002, we granted licenses of CADP for 763 different machines.
During year 2001, we granted licenses of CADP for 965 different machines.
During year 2000, we granted licenses of CADP for 770 different machines.
During year 1999, we granted licenses of CADP for 394 different machines.
During year 1998, we granted licenses of CADP for 315 different machines.
During year 1997, we granted licenses of CADP for 214 different machines.
During year 1996, we granted licenses of CADP for 349 different machines.
During year 1995, we granted licenses of CADP for 246 different machines.
During year 1994, we granted licenses of CADP for 255 different machines.
During year 1993, we granted licenses of CADP for 280 different machines.
During year 1992, we granted licenses of CADP for 94 different machines.
During year 1991, we granted licenses of CADP for 35 different machines.

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.336 last updated on 2024/11/20 18:17:31

Back to the CADP Home Page