Verics公司 swMATH ID: 9464 软件作者： 彼得亚·德米因斯基；阿加塔·雅诺夫斯卡；Pawe Janowskił；沃伊切赫·彭泽克（Wojciech Penczek）；阿加塔·波罗拉；马西耶·斯兹特尔（Maciej Szreter）；沃兹纳，博泽纳；安德烈·兹布雷泽兹尼 描述： √erics：验证时间自动机和Estelle规范的工具。本文介绍了一种用于时间自动机自动验证的新工具，以及用规范语言Estelle编写的协议。当前版本提供了从Estelle规范到时间自动机的自动翻译，以及两种互补的可达性分析方法。第一种是基于有界模型检查（BMC）的，而第二种是对系统抽象模型的实时验证。 主页： http://verics.ipipan.waw.pl/ 相关软件： MCMAS公司;MCK公司;NuSMV公司;自旋蛋白;上CORA;Uppaal公司;GEZEL公司;兔子;克洛诺斯;TAPAAL公司;罗密欧;莫德;莫伊兹+;高尔夫;糠;PVS公司;SLAM公司;VerICS版本;CUDD公司 引用于： 6文件 全部的 前5名18位作者引用 4 沃伊切赫·彭泽克 3 阿莱西奥·洛穆西奥 1 弗朗西斯科·贝拉迪内利 1 帕特里夏·布耶 1 彼得·德姆宾斯基 1 乌里·法伦贝格 1 沃伊切赫·贾姆罗加 1 阿加塔·雅诺夫斯卡 1 PawełJanowski 1 金·古德斯特兰·拉森 1 尼古拉斯·马基 1 乔尔·欧·瓦克宁。 1 阿加塔·波罗拉 1 曲洪阳 1 马西耶·斯兹雷特 1 詹姆斯·沃雷尔。 1 沃纳、博埃纳 1 安德烈·兹布雷泽兹尼 连载1篇 1 人工智能 在3个字段中引用 6 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文