CosyVerif验证 swMATH ID: 13753 软件作者： Haddad，S.、Kordon，F.、Petruci，L。 说明： CosyVerif是一个软件环境，其目标是对动态系统进行正式规范和验证。它的设计目的是：支持不同的形式，能够轻松创建新的形式，为每种形式提供图形界面，包括作为web服务通过界面调用的验证工具，为开发人员集成自己的工具提供可能性，还允许它与其他工具交互。该环境由两个软件工具组成：图形界面Coloane和基于web服务的集成框架Alligator。利用我们实验室（创始成员或合作伙伴）开发的现有验证工具对其进行了扩展。 主页： http://cosyverif.org/ 相关软件： CPN/工具;TINA公司;海伦娜;赛马拉松;蛇;SWIG（开关）;格拉夫维兹;库夫 引用于： 2文件 更多出版物： http://cosyverif.org/index.php？N1=4&N2=0 3位作者引用 1 法兰克·波默罗 1 罗德里格斯，塞萨尔·马林 1 斯特凡·施温 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文