分布式进程的构造和分析
设计可靠协议和系统的软件工具
关于CADP的最新消息
2024-06-13 发布CADP 2024-f版“Eindhoven”（更改列表）
2013年5月24日 发布CADP版本2024-e“Eindhoven”（更改列表）
2024-04-18 [适用]识别多核处理器上的定时干扰
2024-04-16 [公开]IEEE 1394链路层的四种形式化模型
2024-04-13 发布CADP版本2024-d“Eindhoven”（更改列表）
2024-03-30 TRAIAN编译器的新版本3.13
2024-03-19 [软]UML模型检查器
2024-03-13 发布CADP版本2024-c“Eindhoven”（更改列表）
2024-03-05 [公开]使用夏普互模拟验证优先权系统
2024-03-01 [公开]40年后的等价性检查：互模拟工具述评
2024年2月21日 [适用]收缩阵列并行计算电路的验证
2024年2月21日 [适用]使用过程代数验证UML状态图
2024年2月21日 [适用]作战技术协议的漏洞识别
2024年2月13日 发布CADP 2024-b版“Eindhoven”（更改列表）
2024-02-12 [软]工业物联网应用的概率分析
2024-02-12 [软]BPMN进程运行时的概率模型检查
2024-02-09 [适用]4SECURail案例研究的形式化建模与分析
2024-02-09 [适用]面向对象的设计集成通用规范
2024-02-09 [应用程序]自动车辆场景的生成
2024-02-04 发布了CADP新闻稿-编号17
2024-01-13 发布CADP版本2024-a“Eindhoven”（更改列表）
2024-01-09 [演示]已翻译演示23（IEEE 1394“FireWare”）至LNT
2023-12-29 TRAIAN编译器的新版本3.12
2023-12-13 发布CADP 2023-l版“亚琛”（更改列表）
2023-11-13 发布CADP版本2023-k“亚琛”（更改列表）
2023-11-08年 [演示]已翻译演示_25（群集文件系统）到LNT
2023-10-31 [演示]已翻译演示_24（分布式知识库）到LNT
2023-10-13 发布CADP 2023-j版“亚琛”（更改列表）
2023-10-11 使用CADP的大学课程更新列表
2023-09-29 TRAIAN编译器的新版本3.11用于构建许多CADP工具
2023-09-13年 发布CADP 2023-i版“亚琛”（更改列表）
2023-08-26 发布CADP 2023-h版“亚琛”（更改列表）
2023-07-26年 发布CADP版本2023-g“亚琛”（更改列表）
2023-07-24 发布了CADP新闻稿-编号16
2023-06-30 TRAIAN编译器的新版本3.10用于构建许多CADP工具
2023-06-13 发布CADP版本2023-f“亚琛”（更改列表）
2023-05-13 发布CADP版本2023-e“亚琛”（更改列表）
2023-04-26 CADP接收第一个ETAPS时间测试工具奖
2023-04-13 发布CADP版本2023-d“亚琛”（更改列表）
2023-03-13 发布CADP 2023-c版“亚琛”（更改列表）
2023-02-28 TRAIAN编译器的新版本3.9用于构建许多CADP工具
2023-02-13 发布CADP 2023-b版“亚琛”（更改列表）
2023-01-27 发布了CADP新闻稿-编号15
2023-01-13 发布CADP 2023-a版“亚琛”（更改列表）
2022-12-29年 [演示]已翻译演示_33（随机分配共识）至LNT
2022-12-13 发布CADP版本2022-l“Kista”（更改列表）
2022-12-05 [公开]通过组合互模拟进行成分验证
2022-12-05 [公开]Stigmergic集合系统的时间特性验证
2022-12-05 [公开]结合SLiVER和CADP分析多智能体系统
2022-11-30 [公开]多核处理器定时干扰的识别
2022-11-13 发布CADP版本2022-k“Kista”（更改列表）
2022-11-07 [演示]已翻译演示_27（夏晖领袖选举）至LNT
2022-10-29 TRAIAN编译器的新版本3.8用于构建许多CADP工具
2022-10-13 发布CADP版本2022-j“Kista”（更改列表）
2022-09-13 发布CADP版本2022-i“Kista”（更改列表）
2022-08-26 发布CADP版本2022-h“Kista”（更改列表）
2022-08-22 [演示]已翻译演示_26（发票案例研究）发送至LNT
2022-07-13 发布CADP版本2022-g“Kista”（更改列表）
2022-06-30 TRAIAN编译器的新版本3.7用于构建许多CADP工具
2022-06-13 发布CADP 2022-f版“Kista”（更改列表）
2022-05-26 发布CADP版本2022-e“Kista”（更改列表）
2022-05-02 [演示]已翻译演示_04（脉动阵列）至LNT
2022-04-14 [压力]H.Evrard在2022年3月受邀演讲的幻灯片
2022-04-14 [主席]Wendelin Serwe 2022年3月演讲的幻灯片
2022-04-13 发布CADP版本2022-d“Kista”（更改列表）
2022-04-13 添加了新的CADP工具：LNT_MERGE公司
2022-04-01 [适用]前列腺癌分级检测的放射学特征
2022-04-01 [适用]指定和测试GPU工作组进度模型
2022-04-01 [软]死点和并发位置的增强计算
2022-03-25 [软]量化非相似LTS的相似性
2022-03-25 [软]解释实时系统中的安全违规
2022-03-25 [软]Gemoc Studio中Lingua Franca的调试/验证工具
2022-03-13 发布CADP版本2022-c“Kista”（更改列表）
2022-03-03 [公开]CADP是一种适用的形式化方法吗？
2022-02-28 TRAIAN编译器的新版本3.6用于构建许多CADP工具
2022-02-13 发布CADP版本2022-b“Kista”（更改列表）
2022-02-11 发布了CADP新闻稿-编号14
2022-02-08 [软]ISO-26262正式要求的验证
2022-01-13年 发布CADP版本2022-a“Kista”（更改列表）
2021-12-20 [演示]已翻译demo_08+demo_20（REL/REL原子多播）到LNT
2021-12-15 [公开]VLSAT-3基准套件
2021-12-13 发布CADP 2021-l版“Saarbruecken”（更改列表）
2021-12-03 [演示]已翻译演示_39（转台系统）至LNT
2021-12-02 [演示]已翻译演示_37（开放分布式处理交易员）到LNT
2021-12-01 [演示]已翻译演示_34（计算机集成制造）至LNT
2021-11-30 [演示]已翻译演示_09（INRES服务和协议）到LNT
2021-11-29 [演示]已翻译演示_07（超车协议）至LNT
2021-11-13 发布CADP版本2021-k“Saarbruecken”（更改列表）
2021年10月29日 TRAIAN编译器的新版本3.5用于构建许多CADP工具
2021-10-26 发布CADP 2021-j版“Saarbruecken”（更改列表）
2021-10-19 [公开]VLSAT-2基准套件
2021-09-20年 [适用]物联网应用ReDy架构的建模与验证
2021-09-20 [适用]使用模型检查和ML检测Android恶意软件
2021-09-13年 发布CADP 2021-i版“Saarbruecken”（更改列表）
2020-09-02 发布了VLSAT-3卫星基准测试套件
2020-09-02 发布了VLSAT-2卫星基准测试套件
2021-08-26 发布CADP 2021-h版“Saarbruecken”（更改列表）
2021-08-23 [压力]F.Lang等人在FM 2019上的幻灯片
2021-07-26年 发布CADP版本2021-g“Saarbruecken”（更改列表）
2021-07-13 [公开]三个可达性问题的有效算法。。。
2021-07-12 [压力]P.Bouvier等人在PETRI NETS 2021上的幻灯片
2021-06-29 TRAIAN编译器的新版本3.4用于构建许多CADP工具
2021-06-13 发布CADP 2021-f版“Saarbruecken”（更改列表）
2021-05-13 发布CADP版本2021-e“Saarbruecken”（更改列表）
2021-04-13 发布CADP 2021-d版“Saarbruecken”（更改列表）
2021-03-13年 发布CADP 2021-c版“Saarbruecken”（更改列表）
2021-02-28年 TRAIAN编译器的新版本3.3用于构建许多CADP工具
2021-02-22 发布了CADP新闻稿-编号13
2021-02-13 发布CADP 2021-b版“Saarbruecken”（更改列表）
2021-01-13 发布CADP版本2021-a“Saarbruecken”（更改列表）
2021年1月11日 [压力]F.Lang等人关于2020年RERS平行挑战的幻灯片
2021-01-11 [压力]F.Lang等人2019年RERS平行挑战幻灯片
2020-12-13 发布CADP版本2020-l“奥尔堡”（更改列表）
2021年12月 [软]用于多代理系统建模和分析的SLiVER工具
2020-11-23 发布了VLSAT-1卫星基准测试套件
2020-11-13 发布CADP版本2020-k“奥尔堡”（更改列表）
2020-10-29 TRAIAN编译器的新版本3.2用于构建许多CADP工具
2020-10-13 发布CADP版本2020-j“奥尔堡”（更改列表）
2020-09-26 发布CADP版本2020-i“奥尔堡”（更改列表）
2020-08-26 发布CADP版本2020-h“奥尔堡”（更改列表）
2020-07-27 [公开]Petri网到自动机网络的自动分解
2020年7月26日 发布CADP版本2020-g“奥尔堡”（更改列表）
2020-06-29 TRAIAN编译器的新版本3.1用于构建许多CADP工具
2020-06-13 发布CADP版本2020-f“奥尔堡”（更改列表）
2020-06-05 [软]用于设计和部署物联网应用程序的MOZART工具
2020-05-25 [适用]用于防止物理攻击的异步电路
2020-05-13 发布CADP版本2020-e“奥尔堡”（更改列表）
2020-05-12 [公开]防止物理攻击的异步电路
2020-05-12 [公开]与时间逻辑充分的尖锐同余[…]
2020-05-12 [公开]通过组合互模拟进行合成验证[…]
2020-04-17 [软]用于构建和设计物联网应用程序的物联网编写器工具
2020-04-17 [适用]基于机器学习的模型检验策略选择
2020-04-17 [适用]设计安全的同步无功系统
2020-04-17 [适用]从测试目标验证复杂软件控制系统
2020-04-17 [适用]通过分析API更改发现保守模式演化
2020-04-17年 [适用]基于模型检查的符合性检查方法
2020-04-13 发布CADP版本2020-d“奥尔堡”（更改列表）
2020-03-13 发布CADP版本2020-c“奥尔堡”（更改列表）
2020-03-10 [适用]自动驾驶的碰撞风险评估
2020-03-10 [应用程序]雾中物联网应用的自主弹性
2020-02-29 TRAIAN编译器的新版本3.0用于构建许多CADP工具
2020-02-13 发布CADP版本2020-b“奥尔堡”（更改列表）
2020-01-13年 发布CADP版本2020-a“奥尔堡”（更改列表）
2020-01-09 世界地图2019年CADP用户数量
2013年9月12日 发布CADP版本2019-l“Pisa”（更改列表）
2019-12-05 [公开]对B.Steffen软件工具物理学的思考
2019-11-13 发布CADP版本2019-k“Pisa”（更改列表）
2019-10-13 发布CADP版本2019-j“Pisa”（更改列表）
2019-09-16 [压力]2016年SPIN上R.Mateescu的幻灯片
2019-09-13 发布CADP版本2019-i“Pisa”（更改列表）
2019年8月26日 发布CADP版本2019-h“Pisa”（更改列表）
2019-08-22 [软]用于MPI应用程序形式化开发的LFD-MPI工具
2019-07-13 发布CADP版本2019-g“Pisa”（更改列表）
2019-07-08 [压力]F.Lang的幻灯片：实际成分验证
2019-06-13 发布CADP版本2019-f“Pisa”（更改列表）
2019-05-19 [公开]改写引擎竞赛：回顾
2019-05-13 发布CADP版本2019-e“Pisa”（更改列表）
2019-05-02 [适用]TLS握手模型的形式化建模与分析
2019-05-02 [适用]使用LNT的基于模型的诊断
2019-05-02 [公开]使用LNT形式化描述进行基于模型的诊断
2019-04-24 [软]用于消息传递并发程序的RichTest工具
2019-04-24 [软]用于过程模型分析的元建模工具[εm]
2019-04-18 [公开]基于动作概率算子的实时模型检验
2019-04-13 发布CADP版本2019-d“Pisa”（更改列表）
2019-04-10 新增评估员5手册页
2019-04-10 新增MCL版本5手册页
2019-04-10 F.Lang和F.Mazzanti赢得了RERS 2019平行挑战
2019-04-03 [软]用于消息传递并发程序的RichTest工具
2019-04-03 [软]使用反例分析调试并发系统
2019-04-03 [软]分布式反应式应用程序的形式化分析
2019-04-02 [柔软。]用于异构行为模型的aZiZa工具
2019-04-02 [软]用于UML-RT模型驱动工程的Papyrus-RT工具
2019-04-02 [软]基于运行时验证的自适应服务组合
2019-04-02 [压力]H.Garavel的幻灯片：管理大型基准集合
2019-04-01 [公开]嵌套单位Petri网
2019-03-17 2019年3月，CADP获得第15000个许可证
2019-03-15 [软]程序认证安全指南分析
2019-03-15 [软]FTRES（故障树罕见事件模拟器）
2019-03-13 发布CADP版本2019-c“Pisa”（更改列表）
2019-02-15 [适用]组合状态空间生成分析
2019-02-13 发布CADP版本2019-b“Pisa”（更改列表）
2019-02-12 [应用程序]银行交易过程中的数据泄露检测
2019-02-12 [适用]列车监控系统的建模与验证
2019-01-24 [软]面向程序翻译人员系列的产品线方法
2019-01-24 [适用]实现存储器保护单元的异步电路
2019年1月17日 发布了CADP新闻稿-编号11
2019-01-16 [适用]xSTream数据流体系结构的验证
2019年1月14日 [适用]活性特性的组成模型检查
2019年1月14日 [适用]多移动机器人视觉特性的验证
2019年1月14日 [适用]基于模型检测的日常活动识别
2019-01-13 发布CADP版本2019-a“Pisa”（更改列表）
2019-01-10 新增BES公司手册页
2019-01-09 新增序列手册页
2019-01-08 [公开]第七届模特检查大赛
2018-12-13 发布的CADP版本2018-l“Uppsala”（更改列表）
2018-12-09 在SunOS 5.11上增加了对CADP的支持（OpenIndiana“Hipster”）
2018-11-13 发布的CADP版本2018-k“Uppsala”（更改列表）
2018-10-13 发布CADP版本2018-j“乌普萨拉”（更改列表）
2018-10-11 增加了对macOS 10.14“Mojave”上CADP的支持
2018-10-08 [公开]实际成分验证
2018-09-27 [公开]术语重写的基准实现。。。
2018-09-13 发布的CADP版本2018-i“Uppsala”（更改列表）
2018-08-26 发布CADP版本2018-h“Uppsala”（更改列表）
2018-08-23 [演示]新演示_11（动态任务调度器）
2018-08-22 [演示]已翻译演示_17（分布式领导人选举协议）到LNT
2018-08-21 [公开]LNT中的形式化TLS握手模型
2018-08-21 [压力]J.Bozic和L.Marsso在2018年3月的幻灯片
2018-08-21 [公开]TESTOR:[…]测试用例生成的模块化工具
2018-08-21 [压力]2018年TACAS上L.Marsso的幻灯片
2018-07-20 CADP网站现在支持HTTPS（安全HTTP）导航
2018-07-13 发布的CADP版本2018-g“Uppsala”（更改列表）
2018-07-09 添加了新的CADP工具：洗涤器
2018-06-13 发布的CADP版本2018-f“Uppsala”（更改列表）
2018-06-12 [演示]新演示_06：传输层安全1.3握手协议
2018-05-26 发布CADP版本2018-e“乌普萨拉”（更改列表）
2018-05-18 添加了新的总体设计MCL公司手册页
2018-05-17 添加了新的总体设计评估员手册页
2018-05-15 [主席]A.Bouzafour在2018年ASYNC大会上的幻灯片
2018-05-07 [压力]H.Garavel受邀参加2018 WRLA演讲的幻灯片
2018-04-26 发布CADP版本2018-d“Uppsala”（更改列表）
2018-04-25 [公开]八种形式规范的比较研究[…]
2018-04-23 [压力]H.Garavel的幻灯片：并发理论与物联网
2018-03-21 [适用]云中自治管理器的协调
2018-03-13 发布的CADP版本2018-c“Uppsala”（更改列表）
2018-02-13 发布的CADP版本2018-b“Uppsala”（更改列表）
2018-01-19 定量动物园工具目录
2018-01-19 世界地图2017年CADP用户数量
2018-01-18 发布了CADP新闻稿-编号10
2018-01-17 [软]软件架构分解的可用性分析
2018年1月17日 [软]RTCP-nets建模与验证
2018-01-17 [软]Web服务组合的形式化规范
2018-01-17 [应用程序]等价性检查的启发式搜索
2018-01-17 [适用]通过分支互模拟证明线性化
2018-01-13 发布的CADP版本2018-a“Uppsala”（更改列表）
2017-12-19 [公开]有符号整数的最合适公理化
2017-12-13 发布CADP版本2017-l“Sophia Antipolis”（更改列表）
2017-11-13 发布CADP版本2017-k“Sophia Antipolis”（更改列表）
2017-11-10 增加了对macOS 10.13“High Sierra”上CADP的支持
2017-10-26 [适用]用窗口缩放选项扩展TCP的验证
2017-10-26 [适用]通过分支互模拟证明线性化
2017-10-23 [公开]从LOTOS到LNT
2017-10-23 [压力]H.Garavel在Ed Brinksma的Festschrift上的幻灯片
2017-10-13 发布CADP版本2017-j“Sophia Antipolis”（更改列表）
2017年10月3日 我们的Web和FTP服务器在中断2.5天后恢复在线
2017-09-13 发布CADP版本2017-i“Sophia Antipolis”（更改列表）
2017-09-12 [压力]H.Garavel在2017年门诊部的幻灯片
2017-09-11 [压力]2017年3月H.Garavel和L.Marsso的幻灯片
2017-09-10 [压力]2017年3月H.Garavel和W.Serwe的幻灯片
2017-08-26 发布CADP版本2017-h“Sophia Antipolis”（更改列表）
2017-07-26 发布CADP版本2017-g“Sophia Antipolis”（更改列表）
2017-06-30 [软]用于中间件重新配置的MIstRAL工具
2017-06-30 [软]用于图形重写验证的GROOVE工具
2017-06-30 [适用]基于动作的火灾报警系统验证
2017-06-20 [适用]能量总线的建模、验证和测试
2017-06-19 [适用]生产单元基准的分布式控制器
2017-06-19 [公开]从形式模型自动生成分布式代码。。。
2017-06-19 [柔软。]用于检查业务流程演变的VBPMN工具
2017-06-19 [适用]并发数据结构的性能评估
2017-06-19 [适用]Raft一致性算法的形式化规范
2017-06-13 发布CADP版本2017-f“Sophia Antipolis”（更改列表）
2017-05-13 发布CADP版本2017-e“Sophia Antipolis”（更改列表）
2017-04-26 发布CADP版本2017-d“Sophia Antipolis”（更改列表）
2017-04-21 [公开]多向会合的不为人知的价值
2017-04-20 [公开]模拟[…]密码算法的大型重写系统
2017-03-26 发布CADP版本2017-c“Sophia Antipolis”（更改列表）
2017-02-13 发布CADP版本2017-b“Sophia Antipolis”（更改列表）
2016-01-19 发布了CADP新闻稿-编号9
2017-01-13 发布CADP版本2017-a“Sophia Antipolis”（更改列表）
2017-01-05 世界地图2016年CADP用户数量
2016-12-13 发布CADP版本2016-l“牛津”（更改列表）
2016-11-16 [公开]检查业务流程演变
2016-11-13 发布CADP版本2016-k“牛津”（更改列表）
2016-11-12 当Cygwin未安装在C:中时，增加了对Windows上CADP的支持/
2016-11-09 增加了对macOS 10.12“Sierra”上CADP的支持
2016-11-08 [公开]改进的片上网络容错路由算法
2016-11-02 [公开]基于GRL和CADP的GALS系统建模与验证
2016-10-28 [公开]凯撒。模型检查比赛后面的BDD和NUPN
2016-10-13 发布CADP版本2016-j“牛津”（更改列表）
2016-09-27 [适用]数据加密标准的完全异步模型
2016年9月13日 发布CADP版本2016-i“牛津”（更改列表）
2016-09-12 [软]用于分析AADL描述的Ocarina工具
2016-08-26 发布CADP版本2016-h“牛津”（更改列表）
2016-07-13 发布CADP版本2016-g“牛津”（更改列表）
2016-06-21 [软]DLC编译器从LNT到分布式C代码
2016-06-18 [软]GALS表示语言的GRL2LNT工具
2016年6月13日 发布CADP版本2016-f“牛津”（更改列表）
2016-06-13 综合清单CADP相关出版物
2016-06-12 [公开]重温过程演算中的序列合成
2016-05-23 [公开]GRL:GALS系统的规范语言
2016-05-23 [公开]使用CADP验证EB3规范
2016-05-23 [公开]编译并发规范。到分布式实施。
2016-05-13 发布CADP版本2016-e“牛津”（更改列表）
2016-05-03 [公开]芯片上缓存相关系统的形式化验证
2016-05-03 [公开]异步实现。数据加密标准
2016-05-02 使用64位Cygwin在Windows上添加了对CADP的支持
2016年4月22日 杰拉德·贝里关于SPIN和CADP的演讲(视频，法语）
2016年4月13日 发布CADP版本2016-d“牛津”（更改列表）
2016-04-08 更新了的安装操作系统X“约塞米蒂”和“埃尔卡皮坦”
2016-04-06 提供了全面的LOTOS公司手册页
2016-03-21 [软]从应用Pi-Calculus到LNT的PIC2LNT转换器
2016-03-15 [适用]利用领域本体验证塑料用户界面
2016-03-15 [适用]使用通信扩展FSM测试自治系统
2016-03-15 为提供了独立的手册页MCL公司语言
2016-03-15 [适用]自动机学习在嵌入式控制软件中的应用
2016-03-15 [适用]使用模型检查提高设计模式查找器的精度
2016-03-14 为使用Cygwin在Windows 10上运行CADP提供了支持
2016-03-13 发布CADP版本2016-c“牛津”（更改列表）
2016-03-08 [软]FLAC Fiacre到LOTOS编译器
2016-02-13 发布CADP版本2016-b“牛津”（更改列表）
2016-02-05 [应用程序]图形用户界面的形式化描述和验证
2016-02-05 [软]基于ELOTON Eclipses的编辑器支持LOTOS新人
2016-02-04 [演示]已翻译演示_12至LNT
2016-02-04 [演示]已翻译演示_31至LNT
2016-02-01 [软]IMCReo工具，用于推理随机Reo连接器中的QoS
2016-02-01 [适用]智能卡读卡器逆向工程模型的验证
2016-01-17 发布了CADP新闻稿-编号8
2016-01-13 发布CADP版本2016-a“牛津”（更改列表）
2015-12-13 发布CADP版本2015-l“Stony Brook”（更改列表）
2015-11-26 为提供了独立的手册页全球合作框架和PBG公司格式
2015-11-19 为提供了独立的手册页XTL公司语言
2015-11-16 为提供了独立的手册页加拿大皇家银行格式
2015-11-13 发布CADP版本2015-k“Stony Brook”（更改列表）
2015-11-09 [演示]已翻译演示_36至LNT
2015-11-02 [演示]已翻译演示_21和演示_22至LNT
2015-10-15 为提供了独立的手册页经验语言
2015-10-15 为提供了独立的手册页SVL公司语言
2015-10-13 发布CADP版本2015-j“Stony Brook”（更改列表）
2015-09-23 [公开]异步的组成验证。使用CADP的系统
2015-09-23 [公开]从形式模型自动生成分布式代码。。。
2015-09-13 发布CADP版本2015-i“Stony Brook”（更改列表）
2015年9月11日 [演示]已翻译演示_38至LNT
2015-08-26 发布CADP版本2015-h“Stony Brook”（更改列表）
2015-08-26 [演示]完全重新设计演示_38
2015-07-21 为NUPN公司格式
2015-07-13 发布CADP版本2015-g“Stony Brook”（更改列表）
2015-07-06 [适用]基于模型的软件总线开发与测试
2015-07-06 [软]用于检查模型优化的优化工具
2015-06-29 [公开]嵌套单位Petri网：一种结构方法。。。
2015-06-13 发布CADP版本2015-f“Stony Brook”（更改列表）
2015-05-13 发布CADP版本2015-e“Stony Brook”（更改列表）
2015-05-12 [演示]已翻译演示_16至LNT
2015-04-13 发布CADP版本2015-d“Stony Brook”（更改列表）
2015年4月13日 [演示]新演示_05（飞机地面通信协议）
2015-03-26 发布CADP版本2015-c“Stony Brook”（更改列表）
2015-02-26 发布CADP版本2015-b“Stony Brook”（更改列表）
2015-02-23 [应用程序]异步通信的兼容性检查
2015-02-23 [适用]云应用程序的动态管理协议
2015-01-29 发布了CADP时事通讯-第7期
2015-01-26 发布CADP版本2015-a“Stony Brook”（更改列表）
2014-12-19 [软]支持交互式概率链
2014-12-13 发布CADP版本2014-l“阿姆斯特丹”（更改列表）
2014-11-26 发布CADP版本2014-k“阿姆斯特丹”（更改列表）
2014-10-26 发布CADP版本2014-j“阿姆斯特丹”（更改列表）
2014-09-26 发布CADP版本2014-i“阿姆斯特丹”（更改列表）
2014-09-23 [应用程序]片上网络容错路由算法
2014-09-23 [适用]ACE缓存一致性协议的形式化分析
2014-09-23 [公开]使用CADP的大规模分布式验证
2014-09-23 [公开]硬件动态任务调度器的形式化分析
2014年9月23日 [公开]使用CADP对互斥算法进行基准测试
2014-09-17 [公开]关于CADP的最新概述出版物
2014-09-16 [柔软。]TLM.open:CADP的SystemC/TLM前端
2014-09-16 [软]用于CHP（通信硬件进程）的CHP2LOTOS转换器
2014-08-26 发布CADP版本2014-h“阿姆斯特丹”（更改列表）
2014-07-17 [适用]多路同步协议的验证
2014-07-17 [适用]逻辑调节模块的构成与抽象
2014-07-17 [软]利用部分模型检查进行组合验证
2014-07-17 [软]EB3语言到LNT的转换器
2014年7月13日 发布CADP版本2014-g“阿姆斯特丹”（更改列表）
2014-07-02 [演示]已翻译演示_14至LNT
2014-06-13 发布CADP版本2014-f“阿姆斯特丹”（更改列表）
2014-06-09 丰富且结构化联机手册页
2014-06-03 已更新教程页面
2014-05-30 [演示]已翻译演示_18至LNT
2014-05-13 发布CADP版本2014-e“阿姆斯特丹”（更改列表）
2014-04-16 [选择]标记过渡系统中的前后行走
2014-04-13 发布CADP 2014-d版“阿姆斯特丹”（更改列表）
2014-04-03 [适用]在系统芯片设计中协助改进
2014-03-13 发布CADP 2014-c版“阿姆斯特丹”（更改列表）
2014-02-18 [适用]可重构组件系统的Hypermanager
2014-02-18 [柔软。]用CCL建模机器人行为
2014-02-13 发布CADP版本2014-b“阿姆斯特丹”（更改列表）
2014-01-23 [软]用于基于组件的增量体系结构的IDCM工具
2014-01-23 [软]计算动态故障树失效概率的DFTCalc工具
2014年1月13日 发布CADP版本2014-a“阿姆斯特丹”（更改列表）
2014-01-13 [软]服务组合中用于模型检查数据流的Reo工具
2014-01-13 [柔软。]通过反例引导的抽象精化实现自动机学习
2013-12-13 发布CADP 2013-l版“苏黎世”（更改列表）
2013-12-12 添加了新的CADP工具：BCG_CMP公司
2013-11-29 [软]舞蹈规范的形式化分析
2013-11-29 [软]异步系统的同步性和可实现性
2013-11-29 [软]交互式马尔可夫链的定量时间分析
2013-11-29 [软]基于FPGA的图像和视频处理设计工具
2013-11-13 发布CADP版本2013-k“苏黎世”（更改列表）
2013-11-13 增加了对Apple OS X 10.9“Mavericks”和XCode 5的支持
2013-11-06 修改了的安装Mac OS X上的CADP
2013-11-06 完全重写CADP地位网页
2013-10-28 [柔软。]基于BPEL的Web服务组合的形式化建模与验证
2013-10-28 [软]SLCO语言转换环境
2013-10-28 [软]概率过程符号优化的SCOOP工具
2013-10-28 [软]DAMASCO基于模型的组合和调整框架
2013-10-28 [适用]医疗系统领域控制软件的形式化开发
2013-10-13 发布了CADP 2013-j beta版（候选版本50）
2013-09-30 [演示]已翻译演示_19到LNT并将其移植到Windows
2013-09-17 [演示]已翻译演示_30至LNT
2013-09-13 发布了CADP 2013-i的beta版（候选版本49）
2013-09-06 支持Cygwin的最新版本
2013-08-26 发布beta版CADP 2013-h（候选版本48）
2013-08-25 修改了的安装Windows上的CADP
2013-07-13 发布beta版CADP 2013-g（候选版本47）
2013-06-13 发布了CADP 2013-f的beta版（候选版本46）
2013-05-16 [应用程序]场景软件数据流的模型检查
2013-05-16 [适用]可靠分布式系统的实时并行内核
2013-05-13 发布了CADP 2013-e的beta版（候选版本45）
2013年4月19日 [适用]有界重传协议的学习与测试
2013-04-19 [适用]动态任务调度器的形式化分析与协同仿真
2013-04-13 发布了CADP 2013-d的beta版（候选版本44）
2013-04-12 在MacOS X上增强CADP的安装
2013-04-03 更新了的网页VLTS（VLTS）基准测试套件
2013-04-03 [适用]云的自配置协议
2013-04-03 [适用]SYNERGY重新配置协议
2013年4月3日 [适用]严格发展提示对话
2013-03-13 发布了CADP 2013-c的beta版（候选版本43）
2013-02-20 [适用]ALE EPC报告中的原子性维护
2013-02-20 [适用]UML/SysML的语义调整
2013年2月13日 发布了CADP 2013-b的beta版（候选版本42）
2013-02-04 [适用]移动自组网的验证
2013-02-04 [适用]容错分布式组件的安全验证
2013-02-04 [适用]基于重写抽象的恶意软件行为分析
2013-02-04 [适用]可扩展验证的缓存一致性
2013-02-04 [适用]基于密钥链的TTP透明CEM协议的验证
2013-01-13 发布了CADP 2013-a的beta版（候选版本41）
2012-12-13 发布beta版CADP 2012-b（候选版本40）
2012-11-13 发布了CADP 2012-a的beta版（候选版本39）
2012-10-13 发布beta版CADP 2011-c（候选版本38）
2012-08-26 发布了CADP 2011-b的beta版（候选版本37）
2012年7月13日 发布了CADP 2011-a的beta版（候选版本36）
2012-06-13 发布了2010年版CADP的beta版（候选版本35）
2012-05-13 发布了CADP 2010-l的beta版（候选版本34）
2012-04-26 发布了CADP 2010-k的beta版（候选版本33）
2012-04-13 发布了CADP 2010-j的beta版（候选版本32）
2012-03-13 发布测试版CADP 2010-i（候选版本31）
2012-01-13 发布了CADP 2010-h的beta版（候选版本30）
2011-12-13 发布了CADP 2010-g的beta版（候选版本29）
2011-11-21 正在从移动网址：http://www.iarialpes.fr/vasy/cadp到http://cadp.inria.fr
2011-11-13 发布了CADP 2010-f的beta版（候选版本28）
2011-10-13 发布了CADP 2010-e的beta版（候选版本27）
2011-09-13 发布了CADP 2010-d的beta版（候选版本26）
2011-07-13 发布了CADP 2010-c的beta版（候选版本25）
2011-06-13 发布了CADP 2010-b的beta版（候选版本24）
2011-05-13 发布了CADP 2010-a的beta版（候选版本23）
2011-04-13 发布了CADP 2009-i的beta版（候选版本22）
2011-03-13 发布了CADP 2009-h的beta版（候选版本21）
2011-02-13 发布beta版CADP 2009-g（候选版本20）
2011-01-13 发布测试版CADP 2009-f（候选版本19）
2010-12-13 发布了CADP 2009-e的beta版（候选版本18）
2010-11-13 发布了CADP 2009-d的beta版（候选版本17）
2010-10-13 发布了CADP 2009-c的beta版（候选版本16）
2010-10-11 CADP论坛中已有1000条消息和150名成员
2010-09-13 发布了CADP 2009-b的beta版（候选版本15）
2010-07-23 发布测试版CADP 2009-a（候选版本14）
2010-06-18 发布了CADP 2008-k的beta版（候选版本13）
2010-04-06 发布beta版CADP 2008-j（候选版本12）
2010-03-05 发布了CADP 2008-i的beta版（候选版本11）
2010年1月21日 发布了CADP 2008-h的beta版（候选版本10）
2010-01-19 添加了新的CADP工具：LNT公司。打开
2010-01-19 添加了新的CADP工具：LNT2LOTOS公司
2010-01-19 添加了新的CADP工具：液化石油气
2009-12-10 发布了CADP 2008-g的beta版（候选版本9）
2009-10-29 发布了CADP 2008-f的beta版（候选版本8）
2009-07-31 添加了新的CADP工具：贡献者
2009-07-29 发布了CADP 2008-e的beta版（候选版本7）
2009-07-23 添加了新的CADP工具：楔形器
2009-07-13 发布了CADP 2008-d的beta版（候选版本6）
2009-07-10 添加了新的CADP工具：金融服务提供商。打开
2009-06-13 发布了CADP 2008-c的beta版（候选版本5）
2009-05-13 发布了CADP 2008-b版（候选版本4）
2009年4月13日 发布了CADP 2008-a的beta版（候选版本3）
2009-03-13 发布了CADP 2007-r的beta版（候选版本2）
2009-02-13 发布了CADP 2007-q beta版（候选版本1）
2009-01-13 发布测试版CADP 2007-p（功能完整）
2008-12-17 添加了新的CADP工具：FSP2LOTOS公司
2008-12-12 发布了CADP 2007-o beta版
2008-11-28 发布了CADP 2007-n beta版
2008-11-03 发布beta版CADP 2007-m
2008-10-15 发布了CADP 2007-l beta版
2008-09-30 发布了CADP 2007-k beta版
2008-08-26 发布了CADP 2007-j beta版
2008-07-29 发布了CADP 2007-i beta版
2008-07-10 发布beta版CADP 2007-h
2008-06-18 发布测试版CADP 2007-g
2008-06-01 发布了CADP 2007-f beta版
2008-05-13 发布了CADP 2007-e beta版
2008-03-18 发布beta版CADP 2007-d
2008-02-05 发布了CADP 2007-c beta版
2007-11-07 发布了CADP 2007-b beta版
2007年10月17日 发布了CADP 2007-a beta版
2007-09-24 打开了CADP论坛
2007-07-26 发布CADP 2006-a“爱丁堡”=CADP 2006+补丁
2007年7月22日 2007年CAV上H.Garavel的幻灯片
2007-07-21 解决了的问题2006-g[Ubuntu Linux]
2007-07-10 解决了的问题2006-f[Windows/Cygwin]
2007-04-19 发布了CADP新闻稿-编号6
2007-04-12 解决了的问题2006-e【2006年12月19日后的Windows/Cygwin】
2007-04-10 解决了的问题2006-d[所有架构]
2007-02-08 解决了的问题2006-c[Ubuntu Linux 6.10]
2007年1月31日 发布了VASY 2006年活动报告
2007-01-30 解决了的问题2006-b[欧盟2.6]
2007-01-23 解决了的问题2006-a【2006年12月19日后的Windows/Cygwin】
2006-12-12 发布CADP 2006“爱丁堡”
2006年12月10日 发布了CADP 2005-k的beta版（候选版本5）
2006-12-10 写入历史条目#1160…#1166
2006-12-10 修复了demo_24/co4.lotos中的输入错误（额外的“.lib”后缀）
2006-12-01 修复了中的拼写错误（重复单词）CAESAR_RENAME_1公司手册页
2006-11-30 修正了demo_40（Web服务）中的两个微积分公式
2006-11-30 移植到依赖/bin/dash的Linux发行版（Ubuntu 6.10）
2006-11-30 更正了src/com/cadp_which中的macOS案例
2006-11-30 修复了X_ACTION.h、X_BIT.h和X_BOOLEAN中的位字段。小时
2006-11-16 在BCG_DRAW和BCG_EDIT中添加Evince检测
2006-11-02 发布beta版CADP 2005-j（候选版本4）
2006-10-30 写入历史条目#1158..#1159
2006-10-30 添加了新的shell-script$CADP/src/com/CADP_echo（适用于Solaris）
2006-10-30 修复了箭头倾斜45度时的BCG_EDIT问题
2006-10-30 降低的高度尤卡利普图减少面板1024x768个屏幕
2006年10月27日 发布了CADP 2005i的beta版（候选版本3）
2006-10-27 写入历史条目#1156..#1157
2006-10-27 向BCG_LABELS添加了-parse和-unparse选项
2006-10-27 修复了与TGV标签解析相关的EUCALYPTUS问题
2006-10-27 增加了Opteron上缺少32位glibc-devel的TST警告
2006-10-26 删除了在Windows上生成的许可证文件中的额外“\r”字符
2006-10-26 写入历史条目#1147..#1155
2006-10-26 修复了Solaris上运行的SVL脚本中的小问题
2006-10-26 增强的TST检测$CADP中Cygwin特定的装载点
2006年10月26日 更新了三个CADP手册页面中的参考书目部分
2006-10-25 删除了$PATH不完整时的额外TST警告
2006-10-25 修复了6个shell-scripts中的$PATH导出问题
2006-10-25 在10个shell脚本中将“basename”替换为“cadp_basename”
2006-10-23 删除了需要设置的指令$LD_LIBRARY_PATH在Solaris上
2006-10-23 更新了文件$CADP/USERS的内容
2006-10-23 修复了Solaris非英语版本上出现的TST问题
2006-10-20 添加了新的shell-script$CADP/src/com/CADP_basename
2006-10-20 添加了缺少Solaris/usr/{ucb，xpg4}/basename的TST警告
2006-10-20 修复了Solaris上的一个小SVL错误（未检测到*.err文件）
2006年10月17日 添加了一份关于精细成分验证的新出版物
2006-10-17 更新了Windows用户的INSTALLATION_2手册
2006-10-17 修复了TST外壳脚本中的小错误
2006-10-17 修复了分销商手册页面中被截断的段落
2006-10-13 发布beta版CADP 2005-h（候选版本2）
2006-10-12 写入历史记录条目#1140.#1146
2006-10-12 修复了所有INRIA研究报告的doc/pdf封面/*
2006-10-11 在Solaris 10上启用了在/usr/sfw/bin中获取“gs”和“mozilla”
2006-10-11 增加了两个关于EVALUATOR 3.0的新出版物
2006年10月10日 已更新安装_2和INSTALLATION_WINDOWS（安装窗口）文件夹
2006-10-10 发布beta版CADP 2005-g（候选版本1）
2006-10-09 修复了BCG_OPEN脚本中的问题（虚假错误消息）
2006-10-04 修复了Linux集群上cadp_hostinfo的间歇性阻塞
2006-09-29 写入历史条目#1128..#1139
2006-09-25 处理具有固定IP地址的断开连接的Mac电脑（无DHCP）
2006-09-22 改进了ACTL公式到微积分的转换
2006-09-22 对于Solaris用户，不再需要在$PATH中包含/usr/ucb
2006-09-21 添加了对主目录不在C:上的Cygwin用户的支持\
2006-09-21 添加了针对Cygwin上缺少“ulimit-s”的TST警告
2006年9月20日 修复了Windows上具有长装入点名称的安装程序问题
2006-09-19 修复了EVALUATOR中的Windows可移植性问题-块“
2006-09-18 修复了EVALUATOR中的错误消息“
2006-09-08 改进了Solaris上缺少“indent”时的TST消息
2006-09-08 修改TST以避免Solaris 10上出现无用警告
2006年7月28日 改进的BISIMULATOR手册页（分支诊断）
2006-07-28 更新了INSTALLATOR手册页面上的屏幕图片
2006-07-27 发布了CADP 2005-f beta版
2006-07-25 针对$CADP中的空格改编的OPEN/CAESAR脚本
2006-07-24 修复了BISIMULATOR-分支-诊断中的语义错误
2006-07-24 更改了OPEN/CAESAR二进制文件以允许$CADP中有空格
2006-07-24 MacOS X上Projector避免了链接编辑警告
2006-07-21 写入历史条目#1116..#1127
2006-07-21 修复了Windows上Projector的“.sync”文件的SVL问题
2006-07-20 修复了EUCALYPTUS Tcl/Tk脚本中的小问题
2006-07-20 更新了CADP网站的几个页面
2006-07-19 添加了关于CAESAR_SOLVE的概述文件（39页）
2006-07-17 更新了文件$CADP/USERS的内容
2006-07-11 发布测试版CADP 2005-e
2006-07-11 使EUCALYPTUS对空选项字符串更加稳健
2006-07-10 与TINA验证工具接口的EXP.OPEN 2.0
2006-07-10 根据更新的“=READ_ME.txt”演示文件凯撒。新的
2006-07-07 已重命名凯撒进入之内凯撒。旧和凯撒。新的进入之内凯撒
2006-07-07 增强了“cadp_indent”以应对Linux“内核”。pid控制器“个文件
2006-07-05 更改了“caesar_graph.h”声明以避免lint警告
2006年07月05日 修复了CAESAR的“-unit”选项中的细微错误。BDD公司
2006-07-04 CAESAR中增强的变量声明格式。缩进
2006-07-03 已启用Solaris上“cadp_indent”使用的GNU缩进
2006-07-03 在“src/com/cadp_tail”中优雅地处理SIGPIPE信号
2006-07-03 修复了具有无限堆栈大小的Linux进程的TST问题
2006-06-28 发布beta版CADP 2005-d
2006-06-27 写入历史条目#1112..#1115
2006-06-26 写入历史条目#1102..#1111
2006-06-26 改进了CAESAR[.ADT，.NEW]的依赖项检查-外部
2006-06-26 为EUCALYPTUS用户界面带来了各种增强功能
2006年6月26日 已抑制TST在Windows上发出的虚假错误消息
2006-06-07 具有符号链接功能检查的增强型INSTALLATOR
2006-06-07 添加了FAT和NTFS文件系统的安装指令
2006-06-06 修复了Windows上INSTALLATOR的许可证提醒问题
2006-06-06 改进了许可证到期前发送的警告消息
2006年6月 在RFL中添加了选项“-v”和“-t”
2006-05-24 更改EUCALYPTUS以支持BCG_MIN新选项
2006-05-23 改进了CAESAR的漂亮打印规则。缩进
2006年5月19日 使$CADP/内的所有C文件与SunStudio 11 lint兼容
2006-05-18 发布了CADP 2005-c beta版
2006-05-17 已完成添加使用SunStudio 11编译的SPARC二进制文件
2006-05-16 开始添加用SunStudio 11编译的SPARC二进制文件
2006-05-12 改进了CAESAR_SOLVE_1的手册页
2006-05-05 改进了EUCALYPTUS对EVALUATOR 3.5的支持
2006-05-05 改进了对EXP.OPEN 2.0的EUCALYPTUS支持
2006-05-04 向CAESAR和CAESAR添加了“-external”选项。新的
2006-05-04 向CAESAR[.NEW]添加了“-indent、-oldstyle、-newstyle”选项
2006-05-03 发布了CADP 2005-b beta版
2006年5月03日 使“incl/X_STRING.h”与CAESAR兼容。新的
2006-05-02 写入历史条目#1096..#1101
2006-05-02 修复了BISIMULATOR-分支-诊断中的错误
2006-04-26 修复了$CYGWIN包含“tty”时的EUCALYPTUS问题
2006-04-26 修复了$CYGWIN包含“tty”时的INSTALLATOR问题
2006-04-24 写入历史条目#1081.#1095
2006-04-18 修复了CAESAR_TEST_REGEXP（）中的剩余问题
2006-04-12 带有gzip压缩的增强型BISIMULATOR-bes选项
2006-04-07 修复了CAESAR_TEST_REGEXP（）中的分段错误
2006年4月7日 完全重新设计了CADP出版物页
2006-04-07 发布了CADP 2005-a beta版
2006-04-06 修复了OCIS中的链接编辑错误
2006-04-06 被改进的尤卡利普图支持以下有用选项EXP.OPEN 2.0版
2006-04-06 被改进的尤卡利普图支持所有人BISIMULATOR（双模拟）/评估员选项
2006-04-06 固定的尤卡利普图比较“.bcg”和“.aut”文件时出现错误
2006-03-31 修改EUCALYPTUS以允许访问REDUCTOR V5
2006-03-30 在BCG_IO中添加了-format选项，用于生成ETMCC格式
2006-03-30 修复了中的错误EXEC/CAESAR公司“空”LOTOS规范的C代码
2006-03-30 宣布EXEC/CAESAR公司的门函数以避免编译器警告
2006-03-28 修复了SVL中闸门名称不以字母开头的问题
2006-03-28 更名为EXEC/CAESARCAESAR_EXIT（）函数到退出（）
2006-03-27 补充演示_40（库存管理和拍卖web服务）
2006-03-24 增强的EVALUATOR的-bes选项与gzip压缩
2006-03-24 向DETERMINATOR和BCG_MIN添加了-format选项
2006-03-22 关于ALDEBARAN的简化EUCALYPTUS
2006-03-22 修复了EUCALYPTUS中的“.exp”转换错误
2006-03-16 修复了REDUCTOR-total-safety中的错误
2006-03-16 修复了SVL“验证”和“比较”诊断中的小错误
2006-03-15 在EUCALYPTUS中添加了“评估性能”菜单
2006-03-15 TST中的更多增强功能支持Intel的ICC编译器
2006-03-14 INSTALLATION_2和CAESAR[新增]中的更多增强功能
2006年3月10日 发布beta版CADP 2004-k
2006-03-10 将SVL改编为REDUCTOR V5
2006-03-10 向REDUCTOR添加了-trace和-weaktrace选项
2006-03-10 将REDUCTOR的最小选项替换为-total/-partial
2006-03-09 写下了异径管5.0手册页
2006年3月07日 删除的“-normal”和“-tauclosure”选项确定器
2006-03-07 增强的“tst”可识别和检查英特尔的ICC编译器
2006-03-06 在SVL中添加了“bfs”和“dfs”属性以进行“比较”
2006年3月6日 在SVL中添加了“bfs”、“dfs”和“非循环”属性以“验证”
2006-03-06 写入历史条目#1040..#1080
2006-03-03 修复了EXP.OPEN 2.0中“label par”的堆芯转储问题
2006-03-02 修复了REDUCTOR-τ压缩-发散中的错误
2006-02-24 重写历史记录条目#984和#996
2006-02-23 发布beta版CADP 2004-j
2006-02-23 更改了函数CAESAR_READ_SOLVE_1（）的API
2006-02-23 更改了函数CAESAR_WRITE_SOLVE_1（）的API
2006-02-22 增强的CAESAR可避免英特尔编译器ICC 9.0警告
2006-02-22 增强的BCG工具可避免英特尔编译器ICC 9.0警告
2006年2月21日 增强型CAESAR。ADT避免英特尔编译器ICC 9.0警告
2006-02-21 增强的EXP.OPEN可避免英特尔编译器ICC 9.0警告
2006-02-21 Solaris C编译器不在/opt/SUNWspro/bin中时允许使用
2006-02-21 添加了对的支持GV/GGV/KGHOSTVIEW公司在里面尤卡利普图和BCG_原始
2006年2月17日 重命名为CAESAR_EXIT（）的门函数LOTOS公司大门“出口”
2006-02-16 增强型demo_19和demo_38，具有门功能日志记录
2006-02-15 重写历史记录条目#994和#1011
2006-02-06 改进了之间的兼容性阿尔德巴兰和奥尔德巴兰
2006-02-03 修复了Linux和Windows上的XTL错误
2006-02-01 向BISIMULATOR添加了-tauconfluence选项
2006-01-26 发布beta版CADP 2004-i
2006-01-26 修复了EXP.OPEN 2.0中的表溢出问题
2006-01-25 修复了参展商手册页面中的错误
2006-01-24 将REDUCTOR的“-keeplock”选项重命名为“-disgence”
2006-01-20 发布了VASY 2005年活动报告
2006-01-09 修复了EVALUATOR 3.5手册页中的错误
2006-01-09 发布beta版CADP 2004-h
2006-01-09 MacOS X 10.4“Tiger”的适配安装程序
2006-01-09 更新了MacOS X 10.4“Tiger”的安装指令
2006-01-06 BISIMULATOR中改进的分支/观测等效性
2006-01-04 修复了BISIMULATOR中分支等价的诊断错误
2005-12-23 发布beta版CADP 2004-g
2005-12-22 向REDUCTOR添加-keeplock选项
2005年12月22日 修复了BISIMULATOR中的分支等价错误
2005-12-20 改进了演示10、11、14、37中活锁的诊断
2005-12-20 修改SVL以删除ALDEBARAN诊断文件
2005-12-20 将ALDEBARAN诊断文件重命名为“ALDEBARAN.bcg”
2005-12-19 在“incl/caesar_kernel.h”中添加了日志宏
2005-12-16 修复了CAESAR中剩余的一个错误。缩进
2005-12-16 修复了文件“$CADP/demos/demo_04/EXP.t”中的错误
2005-12-16 在EXP.OPEN中添加了-deadpervating和-weaktrace选项
2005-12-16 更新了投影仪和减速器手册页面
2005-11-29 修正了CAESAR中的2个错误并带来了2个改进。缩进
2005-11-22 BISIMULATOR中改进的-tauconfluence/-taucompression
2005-11-21 分配器中改进的-tauconfluence/-taucompression
2005-11-21 向REDUCTOR添加了-tauconfluence/-taucompression选项
2005-11-02 更多更改以避免Sun编译器5.7发出警告
2005-10-28 发布测试版CADP 2004-f
2005-10-28 BISIMULATOR生成的改进反例
2005-10-27 已替换阿尔德巴兰通过shell包装器（修复了24个错误）
2005-10-19 避免了Sun编译器5.7（Sun Studio 10）发出的警告
2005-10-13 发布beta版CADP 2004-e
2005-10-13 进一步降低了table_1的内部内存成本
2005-10-10 将ALDEBARAN二进制文件重命名为ALDEBANAN.OLD
2005-10-10 已安装的新版本4.0减速器工具
2005-10-10 修复了演示24、31和39的SVL脚本中的清理错误
2005-10-07 添加了新属性和马尔可夫延迟演示_39
2005-09-29 在EXP.OPEN中添加了-unparse选项
2005-09-28 EXP.OPEN标签中允许的特殊字符
2005-09-23 修复了CAESAR_SOLVE_1诊断生成中的问题
2005-09-22 增强了库CAESAR_SOLVE_1的API
2005年9月21日 在CAESAR_SOLVE中添加了第五分辨率算法（名为A5）
2005-09-19 修复了EXP.OPEN-mcrl和-interface选项中的错误
2005-09-19 降低了表1的内部内存成本
2005-09-13 修复了最近RedHat OS上来自“tst”的虚假警告
2005-09-12 发布beta版CADP 2004-d
2005-09-12 写入历史文件条目#1034…#1039
2005-09-12 补充演示_39（钻井产品转台系统）
2005-09-09 补充演示_38（异步DES实现）
2005年9月9日 在“incl/caesar_kernel.h”中添加断言宏
2005-09-09 写入历史文件条目#1016…#1033
2005-09-06 简化的辅助文件演示_19
2005-09-06 改进了“src/exec_caesar/main.c”(EXEC/CAESAR公司的入口点）
2005-09-05 补充演示_37（ODP交易员）
2005-09-02 写入历史文件条目#1002…#1015
2005-09-02 修复了中虚假的“过期”警告凯撒和凯撒。ADT公司
2005年8月29日 写入历史文件条目#998…#1001
2005-08-22 写入历史文件条目#970…#997
2005-07-25 简化的demo_15/demo.svl和demo_34/demo.sv
2005-07-18 写入历史文件条目#962…#969
2005-07-15 写入历史文件条目#903(凯撒。ADT公司的新型迭代器）
2005-06-28 发布beta版CADP 2004-c
2005-06-24 修复了Windows“Unix服务”的分销商问题
2005-06-24 使PROJECTOR 2.0更快（在某些示例中，速度高达7倍）
2005-06-24 在win32上避免了无用的CAESAR{、.ADT、.NEW}重新计算
2005-06-13 使Protoize可以接受CAESAR生成的C代码
2005-05-17 改进演示_35（分布式求和算法）
2005-04-27 发布beta版CADP 2004-b
2005-04-25 修复了在Windows上观察到的一些遗留问题
2005-04-17 修复了呼叫时的错误BCG_传输具有多个“时间瞬间”
2005-04-15 允许分销商的-监视器选项在Windows上工作
2005-04-13 更改的C代码由CAESAR[.ADT]公司以避免通用条款警告
2005-04-08 发布了CADP 2004-a的beta版
2005年4月7日 添加了CAESAR。新工具（CAESAR 7.0预览版）
2005-04-05 清除CAESAR优化U2中的语义问题
2005-04-05 修复了$PRINTER包含空格时的BCG_EDIT问题
2005-04-01 发布beta版CADP 2003-z
2005-04-01 扩大了表格_1的容量，从（2^24）-1到2^29个元素
2005-03-30 将CADP的win32二进制文件从CRTDLL迁移到MSVCRT
2005年3月29日 使EXP2C生成的C代码速度提高25-35%
2005-03-29 的更改值CAESAR_NULL_INDEX_TABLE_1到-1=>重新编译！
2005-03-24 修复了FTP传输后INSTALLATOR中偶尔出现的死锁
2005-03-24 新增演示_36（分布式埃拉斯通筛）
2005-03-24 新增演示_35（分布式求和算法）
2005-03-24 在EXP.OPEN V2中添加了“-info”选项
2005-03-23 将win32二进制文件升级到mingw-runtime-3.7和w32api-3.2
2005-03-23 固定分销商监视器中的固定进度条
2005-03-23 修复了分销商监视器中的“无限循环”错误消息
2005-03-18 发布了2003年版CADP
2005-03-18 使OCIS能够加载存储在BCG文件中的任意场景
2005-03-15 修复了Windows XP上出现的各种便携性问题
2005-03-14 EXP2C、MCL_EXPAND、SVL和XTL中允许的8位字符
2005-03-14 中允许的8位字符CAESAR、CAESAR。ADT公司、和凯撒。缩进
2005-03-14 修复了Windows上的BISIMULATOR错误
2005-03-11 修复了由生成的C代码中的常量订单问题凯撒。ADT公司
2005-03-10 增加了对SVL中部分订单减少的支持
2005-03-03 更新了EUCALYPTUS用户界面的帮助菜单
2005-03-03 在EUCALYPTUS中集成了CAESAR的修订E7选项
2005-03-03 EUCALYPTUS用户界面中的集成BISIMULATOR
2005-03-02 发布beta版CADP 2003-x
2005-03-02 添加了新的散列函数CAESAR_7_hash（）
2005-03-01 完全重新设计了散列函数CAESAR_6_hash（）
2005-02-28 更新了使用BISIMULATOR代替ALDEBARAN的演示
2005-02-28 向SVL添加跟踪和弱跟踪等效项
2005-02-25 解决了断开连接的Linux笔记本电脑的许可证问题
2005-02-25 修复了CAESAR中的指针对齐问题_我_HASH（），i=1,2,6
2005-02-24 发布beta版CADP 2003-w
2005-02-24 将OCIS图形模拟器移植到Mac OS X
2005年2月23日 修复了OCIS图形模拟器中的几个问题
2005-02-22 修复了大型图上的“BCG_INFO-不确定性”错误
2005-02-18 新增演示_34（计算机集成制造）
2005-02-18 已定稿演示_31（SCSI-2总线仲裁协议）
2005-02-16 改进了TST以检测启用GR安全的Linux内核
2005-02-11 发布beta版CADP 2003-v
2005-02-10 将CADP移植到Linux Fedora Core 3
2005-02-10 在SVL语言中添加了“精细抽象”操作符
2005年2月10日 将“-labels”选项添加到EXP.OPEN V2
2005-02-08 修复了CADP_LIB中的缓冲区溢出
2005-02-03 BISIMULATOR生成的改进反例图
2005-02-03 修复了Mac OS X上BISIMULATOR的移植问题
2005-02-03 已安装新版本3.5评估员模型检查器
2005-02-02 发布beta版CADP 2003-u
2005-02-02 修复了CAESAR_SOLVE的BFS算法中的细微错误
2005-01-28 更新了的手册页评估员3.5
2005-01-27 编写分销商手册页
2005-01-27 修复了DISTRIBUTOR和BCG_MERGE中的各种问题
2005-01-27 已从DISTRIBUTOR中删除-合并选项
2005-01-27 将-clean选项添加到BCG_MERGE
2005-01-24 向CADP添加了DISTRIBUTOR和BCG_MERGE二进制文件
2005-01-21 发布了VASY 2004活动报告
2005-01-17 发布的β版CADP 2003-t
2005-01-17 修复了CAESAR_SOLVE_1中的（仅潜在的）错误
2005-01-17 修复了CAESAR_SOLVE_1手册页面中的各种错误
2005年1月17日 抑制虚假TST警告“主机不存在许可证…”
2005-01-13 在中添加了跟踪和弱跟踪等效项BISIMULATOR（双模拟）
2005-01-11 修复了EXP.OPEN V2代码生成中的一个小错误
2005-01-11 修复了SVL中的三个小错误
2005-01-07 发布beta版CADP 2003-s
2005-01-07 已更新BISIMULATOR（双模拟）手册页
2005-01-07 编写CAESAR_SOLVE_1手册页（23页）
2005-01-06 修复了SVL中的“叶子减少”问题
2005-01-06 修复了EXP.OPEN V2中的表溢出错误
2004-12-23 写的BCG_MERGE手册页
2004年12月21日 发布beta版CADP 2003-r
2004-12-21 已定稿演示_30（哈勃太空望远镜寿命）
2004-12-20 修复了即将推出的BCG_MERGE工具中的两个错误
2004-12-17 更新了SVL以支持BISIMULATOR和PROJECTOR 2.0
2004-12-17 新增BISIMULATOR（双模拟）工具
2004年12月17日 补充确定器二进制文件到CADP
2004-12-17 补充CAESAR_SOLVE_1公司布尔方程系统库
2004-12-17 添加了的版本2投影机
2004-12-16 BCG_STEADY/BCG_TRANSIENT中简化的“原始”矩阵
2004-12-16 修复了Windows上的TGV中止问题
2004-12-16 将TGV移植到Mac OS X
2004-12-15 写的DETERMINATOR手册页
2004-12-15 在Exp.Open中添加了“不可能同步”警告
2004-12-15 修复了标签包含特殊字符的Exp.Open错误
2004-12-15 发布beta版CADP 2003-q
2004-12-14 修复了Exp2Fc2中影响SVL的小错误
2004-12-14 修复了的“-append”选项中的错误BCG_稳定和BCG_传输
2004-12-13 将“caesar_block_1”库重命名为“caesar _area_1”
2004-12-13 更新“upc”以警告CAESAR_CREATE_TABLE_1（）
2004-12-13 在“caesar_table_1”中的标记字段周围添加了自动填充
2004-12-13 添加了新函数CAESAR_HASH_STRING_BLOCK_1（）
2004-12-13 改进了CAESAR_STRING_0_HASH（）的分散性
2004-12-10 写的BCG_TRANSIENT手册页
2004-12-09 写的BCG_STEADY手册页
2004年12月07日 进一步简化CAESAR_CREATE_TABLE_1（）配置文件
2004-12-03 改进了BCG_STEADY和BCG_TRANSIENT的-thr选项
2004-12-03 发布了CADP 2003-p版
2004-12-02 写入历史文件条目#904…#961
2004-12-01 BCG_IO_WRITE_BCG_BEGIN（）中允许的NULL注释
2004-12-01 修复了“caesar_mask_1”缓存表中的细微错误
2004-11-30 修复了CAESAR_APPLY_MASK_1（）文档中的问题
2004-11-29 改进的语义CAESAR_打印在里面CAESAR_CREATE_TABLE_1（）
2004-11-29 修复了“caesar_block_1”中字符串块的3个错误
2004年11月25日 将BCG_STEADY和BCG_TRANSIENT二进制文件放入CADP
2004-11-25 修改“tst”以检查堆栈大小“ulimit”
2004-11-17 在CAESAR_CREATE_TABLE_1（）配置文件中使用“block_1”类型
2004-11-16 使用空块的概念增强了“caesar_block_1”
2004-11-15 发布beta版CADP 2003-o
2004-11-15 补充凯撒类型溢出功能返回1在“stack_1”中
2004-11-15 写入历史文件条目#895…#902
2004-11-10 补充CAESAR_TYPE_OVERFLOW_FUNCTION_TABLE_1在“table_1”中
2004年11月8日 向CADP常见问题第页
2004-11-03 将-hide和-rename选项添加到发电机和还原剂
2004-11-03 将BCG常规选项添加到发电机和还原剂
2004-11-03 添加了名为“CAESAR_mask_1”的新OPEN/CAESAR库
2004-11-02 写入历史文件条目#878…#894
2004-10-25 添加了名为“CAESAR_block_1”的新OPEN/CAESAR库
2004-10-21 添加了CAESAR_LABEL_我_HASH（）(我=1..6）在“caesar_hash”中
2004-10-20 在“CAESAR_standard”中添加了CAESAR_FUNCTION_NAME（）
2004-10-19 改进的BCG_INFO、BCG_LABELS和BCG_MIN手册页
2004-10-19 修正了OPEN/CAESAR参考手册中的输入错误
2004-10-19 在“CAESAR_HASH”库中添加了CAESAR_STRING_0_HASH（）
2004-10-18 发布了CADP 2003-n版
2004-10-18 将“-interface”选项添加到EXP.OPEN第2版
2004-10-18 BCG_MIN强随机最小化中的固定堆芯卸载
2004-10-15 已更新CADP使用统计
2004-10-12 修复了Mac OS X 10.3上安装程序的“uudecode-s”问题
2004年10月12日 在Installator中增加了rsh、ssh和krsh之间的选择
2004-10-11 在RFL中添加选项“-p”以选择远程访问协议
2004-10-08 发布β版CADP 2003-m
2004-10-08 修复了随机/概率BCG_MIN中的语义错误
2004-10-08 更新了文件INSTALLATION_3和INSTALLATON_4
2004-10-04 改进了Linux上Glibc版本的TST检测
2004-10-04 修复了Solaris上由“/usr/bin/tr”引起的次要RFL问题
2004-10-01 发布了CADP 2003-l beta版
2004-10-01 更改安装程序以绕过Windows文件锁定
2004-09-30 添加了名为“src/com/install_lock”的新shell-script
2004年9月29日 添加了名为“src/com/install_clone”的新shell-script
2004-09-27 修复了SVL中与“-case”选项相关的错误
2004-09-27 将CADP_MEMORY移植到Mac OS X
2004-09-24 通过FTP从没有电子邮件的机器发出允许的许可证请求
2004-09-24 修复了GNU-tar 1.14导致的Linux上的Installator问题
2004-09-21 修复了中的小错误出口打开V2shell脚本
2004-09-17 发布了CADP 2003-k beta版
2004-09-17 已安装的电子邮件提醒（许可证到期前）服务
2004年9月16日 写入历史文件条目#848…#877
2004-09-15 发布beta版CADP 2003-j
2004-09-14 写入历史文件条目#790…#847
2004-09-13 修复了SVL错误消息中的小错误
2004-09-13 修复了BCG_IO_WRITE_BCG_END（）中的分段错误错误
2004-09-13 更改了demo_26以避免“宏已重新定义”警告
2004-09-09 改进了CAESAR和CAESAR之间的集成。BDD公司
2004-09-07 修复了BCG_EDIT文件选择窗口中的双击错误
2004-09-07 避免了Mac OS X上CAESAR[.ADT]的多次重新编译
2004-09-06 将CAESAR[.ADT]的“-map”选项修改为新型迭代器
2004年09月02日 CAESAR返回的优化错误代码。出口BDD
2004-09-01 将XSIMULATOR移植到Mac OS X
2004-08-31 更改安装程序以调整Windows上的CR/LF和符号链接
2004-08-27 改进了Mac OS X端口的许多细节
2004-08-24 用简单的shell-script替换了EXP2FC2二进制文件
2004年8月24日 补充EXP.OPEN的版本2
2004-07-27 发布beta版CADP 2003-i
2004-07-27 将XTL 1.2移植到Mac OS X
2004-07-26 将ALDEBRAN移植到Mac OS X
2004-07-23 允许群集和大型网络使用多个许可证文件
2004-07-21 在许可证文件中启用8位字符
2004-07-20 增加了对Linux 2.6系统的支持（例如，Mandrake 10）
2004-07-13 端口CAESAR，CAESAR。ADT和BCG到Mac OS X
2004-07-13 添加了基于BDD的新版本CAESAR优化E7
2004-07-13 添加了新的CADP工具：凯撒。BDD公司
2004-07-13 提供与glibc 2.2.5的向后兼容性
2004-07-08 在“CAESAR_standard”中添加了CAESAR_TEMPORARY_FILE（）
2004-07-06 发布测试版CADP 2003-h
2004-07-02 增加了对32位模式下运行的AMD Opteron的支持
2004-06-20 发布的β版CADP 2003-g
2004-06-14 发布beta版CADP 2003-f
2004-06-02 发布beta版CADP 2003-e
2004-05-06 发布beta版CADP 2003-d
2004年4月28日 发布beta版CADP 2003-c
2004-04-08 发布了CADP 2003-b版
2004-03-25 发布beta版CADP 2003-a
2004-03-08 发布测试版CADP 2002-z
2004-02-26 发布了2002年版CADP
2004-02-10 发布了CADP 2002-x版
2003-12-18 发布了CADP 2002-w beta版
2003-12-01 发布了CADP 2002-v beta版
2003-11-21 发布了CADP 2002-u beta版
2003-11-17 发布了CADP 2002-t beta版
2003-10-27 发布了2002年版CADP
2003-10-23 发布了CADP 2002-r beta版
2003-10-16 发布了CADP 2002-q beta版
2003-09-02 发布测试版CADP 2002-p
2003-07-25 发布了CADP 2002-o beta版
2003-06-26 发布了CADP 2002-n beta版
2003-06-23 发布了CADP 2002-m beta版
2003-06-17 发布了CADP 2002-l beta版
2003-05-21 发布了CADP 2002-k beta版
2003年5月6日 发布了CADP 2002-j beta版
2003-03-13 发布了CADP 2002-i beta版
2003-02-21 发布beta版CADP 2002-h
2002-12-13 发布测试版CADP 2002-g
2002-11-26 发布了CADP 2002-f beta版
2002-11-19 发布了CADP 2002-e beta版
2002-10-04 发布了CADP 2002-d beta版
2002-09-27 发布了CADP 2002-c beta版
2002-08-23 发布了CADP 2002-b版
2002-07-02 发布了CADP 2002-a beta版
2001-07-13 2001年发布的CADP《渥太华》


CADP公司(“分布式进程的构建和分析”,以前被认为是“CAESAR/ALDEBARAN开发包”)是一个流行的工具箱用于异步并发系统的设计，例如通信协议、分布式系统、异步电路、，多处理器体系结构、web服务等。

自2012年1月起，CADP由CONVCS公司团队（以前，由VASY公司团队）。CADP连接到各种补充工具.CADP得到维护、定期改进，并在许多工业项目.

CADP提供了一系列广泛的功能，包括逐步模拟大规模并行模型检查。它是唯一提供以下功能的工具箱：

  • 几种输入形式的编译器，例如：

    • 用各种语言编写的高级描述，如LOTOS（ISO国际标准8807），LNT公司、FSP、pi演算等。CADP工具箱提供编译器（CAESAR、CAESAR.ADT、LNT2LOTOS、FSP2LOTOS等），将高级描述转换为C代码，用于模拟、验证和测试目的；

    • 低级描述指定为自动机（即有限状态机）和通信自动机网络，这些自动机并行运行、同步并使用进程代数运算符或同步向量进行通信。

  • 多个等价性检查工具（BCG_MIN、BISIMULATOR等）用于最小化和比较系统模互模拟关系。

  • 模型的多个模型检查器（EVALUATOR、XTL等）微积分和各种时态逻辑；

  • 几种验证算法组合在一起：枚举验证、现场验证、符号验证使用二元决策图，成分最小化，偏序，分布式模型检查等。

  • 加上一系列具有高级功能的其他工具，如目视检查、性能评估等。

CADP以模块化方式设计，重点放在中间格式和编程接口（如BCG和OPEN/CAESAR软件环境），允许CADP工具与其他工具相结合适应各种规范语言。

  

版本2.973最后更新日期：2024/06/13 17:11:31