8月2日 swMATH ID: 8403 软件作者: 巴巴拉·科尼格;维塔利·科齐奥拉 描述: Augur 2–图形转换系统分析工具的新版本。我们描述了目前正在开发的Augur 2验证工具的设计和现状。它基于Augur 1,这是一个可以通过Petri网近似分析图变换系统的工具。新开发的主要原因是创建一个开放、灵活和可扩展的验证环境。此外,与前一版本相比,8月2日将包含更多功能和新的分析技术。 主页: http://www.sciencedirect.com/science/article/pii/S1571066108002570?via=ihub 相关软件: 沟槽;自旋蛋白;检查VML;VAMPIRE公司;AGG公司;点钟2分;AGoM博士;变身;莫德;z3(零3);伊莎贝尔/霍尔;进展;猎户座;StEAM公司;月球漫步者;卫星抗体;Java PathFinder;活力;GrGen公司;GXL公司 引用于: 10文件 全部的 前5名12位作者引用 5 巴巴拉·科尼格 4 维塔利·科齐奥拉 2 保罗·巴尔丹 2 安德烈亚·科拉迪尼 1 托马斯·查泰恩 1 斯特凡·哈尔 1 瑞科·赫克尔 1 盖扎·库尔斯阿尔 1 莱恩·兰伯斯 1 马耳他州洛豪 1 卡尔·海因茨·佩内曼 1 玛丽亚姆·加法里·萨达特 3篇连载文章中引用 2 信息与计算 1 信息处理信件 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 10 计算机科学(68至XX) 1 组合数学(05-XX) 按年份列出的引文