CADP新闻稿-编号3
1997年9月25日
此新闻稿可从CADP主页。此页面中的一些URL已于2011年11月更新。
目录
我们收到了许多关于CADP工作状况的问题。请查看以下最新信息。
CADP的当前“官方”版本是97a版“Twente”，于1997年6月6日发布。您可以找到有关97a版的详细信息通过查看这些网页：
CADP的新版本97b“列日”目前正在准备。这个新版本带来了几个主要的新功能，即：
- 添加XTL模型检查器（扩展时态语言），它支持最流行的分支时间时序逻辑：CTL、ACTL、HML、LTAC和模态微积分。
- CADP工具和FC2/Autograph之间的高级集成INRIA Sophia-Antipolis开发的工具
- 支持PC/Linux 2.0计算机
- 简化的自动化安装过程
CADP的未来版本将很快演示：
法语国家协议研讨会（比利时列日）9月30日至10月2日http://www-run.montefiore.ulg.ac.be/CFIP97/CFIP97.html
CADP 97b的Beta版现已推出。如果你有兴趣尝试他们，请联系“Hubert.Garavel@inria.fr".
我们正在维护一个出版物和用例数据库LOTOS和/或CADP工具。如果您有此类材料（出版物或技术报告），请发送至Hubert.Garavel@inria.fr书目参考文献。
当我们向CADP添加新工具并将其移植到新的架构，我们对维护的必要性有疑问CADP目前有一些设施。
请看下面的问卷，如果你回答对其中一个问题是肯定的，请通知Hubert.Garavel@inria.fr1997年10月5日前。（如果您对所有人都回答“否”，则无需回复问题）。
问题1：您是否将CADP与HIPPO模拟器（开发的在SEDOS ESPRIT项目期间）将参数化在应用CAESAR和CAESAR之前抽象数据类型。ADT？问题2：您是否将CADP与TESTGEN-LOTOS工具一起使用？问题3：您是否将CADP与TETRA工具一起使用？问题4：您是否将CADP与VISCOPE工具一起使用？
请注意，对其中一些工具的支持可能会停止除非我们在1997年10月5日之前收到相反的指示。
版权所有（C）INRIA 1997--Tous droits réservés--保留所有权利。
返回CADP主页
