什么是CADP？
主页 工具概述 当前状态 最近的更改
安装
如何获得CADP？ 使用情况统计
文档
常见问题解答 教程 出版物 手册页面 演示示例 维基百科
CADP社区
新闻稿 教育与培训 案例研究 研究工具 论坛
CADP资源
VLSAT基准 VLTS基准 其他资源
关于CADP
贡献者

本页提供了CADP在世界各地传播的数据。

请注意，这些数字并不对应于下载，而是完整的CADP安装，从头到尾完成。VASY和CONVCS团队成员执行的CADP安装不计入这些数字。此外，在同一台机器上多次和/或连续安装CADP（例如，不同版本、32位和64位版本等）每年仅计算一次。

• 1月1日至3月3日，2024，我们授予CADP许可证CADP250不同的机器
  （SunOS/x64:0，Linux/x86:0，Linux/x64:214，MacOS/x64:27，Windows/x64:8）。

• 年内2023, 我们授予CADP许可证CADP145不同的机器
  （SunOS/x64:0、Linux/x86:2、Linus/x64:123、Windows/x86:6、Windows/x64:8、MacOS/x64：8）。

• 年内2022,我们授予CADP许可证CADP208不同的机器
  （SunOS/x86:0、SunOS/x64:0、Linux/x86:45、Linux/x64:194、Windows:3、MacOS/x64:11）。

• 年内2021,我们授予了CADP的许可证290不同的机器
  （Solaris/x86:0、Solaris/x64:0、Linux/x86:14、Linux/664:263、Windows:10、macOS/x64:16）。

• 年内2020,我们授予CADP的许可证222不同的机器
  （Solaris/x86:0、Solaris/x64:0、Linux/x86:9、Linux/x64:198、Windows:5、MacOS/x86:2、MacOS/x64:16）。

• 年内2019,我们授予了CADP的许可证340不同的机器
  （Solaris/x86:0、Solaris/x64:0、Linux/x86:68、Linux/x64:298、Windows:15、MacOS/x86:11、MacOS/x64:18）。

  
  我们很高兴地宣布，2019年15,000-第个CADP许可证被授予。
  
  

• 年内2018,我们授予CADP的许可证381不同的机器
  （Solaris/x86:0、Solaris/x64:0、Linux/x86:104、Linux/x64:327、Windows:13、MacOS/x86:17、MacOS/x64:20）。

• 年内2017,我们授予CADP的许可证315不同的机器
  （Solaris/x86:0、Solaris/x64:0、Linux/x86:103、Linux/664:259、Windows:9、MacOS/x86:20）。

• 年内2016,我们授予CADP的许可证507不同的机器
  （Solaris/Sparc32:1、Solaris/Sarc64:1、Solis/x86:0、Solaris/x64:0、Linux/x86:317、Linux/x64:407、Windows:25、MacOS/x86:29）。

• 年内2015,我们授予CADP的许可证434不同的机器
  （Solaris/Sparc32:1、Solaris/Sarc64:1、Solis/x86:0、Solaris/x64:0、Linux/x86:350、Linux/x64:361、Windows:30、MacOS/x86:17）。

• 年内2014,我们授予CADP的许可证433不同的机器
  （Solaris/Sparc32:1、Solaris/Sarc64:1、Solis/x86:1、solis/x64:1，Linux/x86:285、Linux/x64:327、Windows:32、MacOS/x86:32）。

• 年内2013,我们授予CADP的许可证934不同的机器
  （Solaris/Sparc32:1、Solaris/Sarc64:3、Solaris/x86:1、Solis/x64:2、Linux/x86:649、Linux/x64:702、Linux/ia64:0、Windows:43、MacOS/PPC:1、MacOS/x86:85）。

• 年内2012,我们授予CADP的许可证1227不同的机器
  （Solaris/Sparc32:6、Solaris/Sarc64:3、Solaris/x86:1、Solaris/x64:2、Linux/x86:980、Linux/x64:273、Linux/ia64:0、Windows:46、MacOS/PPC:1、MacOS/x86:22）。

• 年内2011,我们授予CADP的许可证613不同的机器
  （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）。

• 年内2010,我们授予了CADP的许可证507不同的机器
  （Solaris/Sparc32:20、Solaris/Sarc64:3、Solaris/x86:0、Solaris/x64:0、Linux/x86:354、Linux/x64:130、Linux/ia64:0，Windows:31、MacOS/PPC:1、MacOS/x86:85）。

• 年内2009,我们授予CADP的许可证760不同的机器
  （Solaris/Sparc32:20、Solaris/Sarc64:2、Linux/x86:664、Linuxx64:115、Linux/ia64:0、Windows:20、MacOS/PPC:2、MacOS/x86:49）。

• 年内2008,我们授予CADP的许可证587不同的机器
  （Solaris/Sparc:58、Linux/x86:496、Linux/x64:14、Linux/ia64:1、Windows:20、MacOS/PPC:3、MacOS/x86:9）。

• 年内2007,我们授予CADP的许可证589不同的机器
  （Solaris/Sparc:63、Linux/x86:487、Windows:26、MacOS/PPC:7、MacOS/Intel:6）。

• 年内2006,我们授予CADP的许可证822不同的机器
  （Solaris/Sparc:182、Linux/x86:597、Windows:30、MacOS/PPC:13）。

• 年内2005,我们授予CADP的许可证663不同的机器
  （Solaris/Sparc:244、Linux/x86:399、Windows:16、MacOS/PPC:4）。

• 年内2004,我们授予CADP的许可证679不同的机器
  （Solaris/Sparc:289，Linux/x86:372，Windows:16，MacOS/PPC:2）。

• 年内2003,我们授予CADP的许可证838不同的机器。

• 年内2002,我们授予CADP的许可证763不同的机器。

• 年内2001,我们授予CADP的许可证965不同的机器。

• 年内2000,我们授予了CADP的许可证770不同的机器。

• 年内1999,我们授予CADP的许可证394不同的机器。

• 年内1998,我们授予CADP的许可证315不同的机器。

• 年内1997,我们授予CADP的许可证214不同的机器。

• 年内1996,我们授予CADP的许可证349不同的机器。

• 年内1995,我们授予CADP的许可证246不同的机器。

• 年内1994,我们授予CADP的许可证255不同的机器。

• 年内1993,我们授予CADP的许可证280不同的机器。

• 年内1992,我们授予CADP的许可证94不同的机器。

• 年内1991,我们授予CADP的许可证35不同的机器。

早期使用统计

2011年12月CADP公司软件已授权给441个站点（公司、研究中心、大学等），签署了CADP许可协议。

由于学术机构（即大学和公共研究中心）的成员不再需要签署许可协议才能获得CADP（见CADP在线申请表详细信息）。

---

1.334版本最后更新时间为2024/03/03 10:43:54

---

返回CADP主页