As of December 2011, the CADP software has been licensed to 441 sites (companies, research centers, universities, etc.), who signed the CADP License Agreement.
The following figures give a fair estimation of the dissemination of CADP around the world:
- During year 1995 we granted licenses of CADP for 161 different machines.
- During year 1996 we granted licenses of CADP for 349 different machines.
- During year 1997 we granted licenses of CADP for 214 different machines.
- During year 1998 we granted licenses of CADP for 315 different machines.
- During year 1999 we granted licenses of CADP for 394 different machines.
- During year 2000 we granted licenses of CADP for 770 different machines.
- During year 2001 we granted licenses of CADP for 965 different machines.
- During year 2002 we granted licenses of CADP for 763 different machines.
- During year 2003 we granted licenses of CADP for 838 different machines.
- 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 2005, we granted licenses of CADP for 663 different machines
(Solaris/Sparc: 244, Linux/x86: 399, Windows: 16, MacOS/PPC: 4).
- 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 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 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 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 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 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).
- From January 1st, to April 24, 2012, we granted licenses of CADP for 107 different machines
(Solaris/Sparc32: 0, Solaris/Sparc64: 0, Solaris/x86: 0, Solaris/x64: 0, Linux/x86: 90, Linux/x64: 47, Linux/ia64: 0, Windows: 5, MacOS/PPC: 0, MacOS/x86: 6).
Version 1.152 last updated on 12/04/24 13:01:10
Back to the VASY Home Page
