BEEM公司 swMATH ID: 9815 软件作者： 拉德克·佩拉内克 描述： BEEM：显式模型检查器的基准。我们为显式模型检查器提供Beem-BEnchmarks。该基准集包括50多个参数化模型（300个具体实例）及其正确性属性（安全性和活性）。基准测试集附带了一个全面的web门户，它提供了有关所有模型的详细信息。该门户网站还包括有关状态空间和用于选择实验模型的设施的信息。门户网站的地址是http://anna.fi.muni.cz/models网站 主页： http://link.springer.com/chapter/10.1007/978-3-540-73370-6_17 相关软件： 自旋蛋白；迪维尼；斑点；拉比尼泽；低l2ba；穆尔斐；棱镜；伊莎贝尔/HOL；超小卫星；PG解算器；Dijkstra最短路径；CAVA LTL模型检查器；存档正式证据；分离逻辑；MLton公司；霍尔；伊莎贝尔；ltl2dstar；STXXL型；西尔文 引用于： 22文件 全部的 前5名50位作者引用 4 简·Křetínsk 三 JiříBarnat 三 卢博什·布里姆 三 哈维尔·埃斯帕尔扎 2 弗兰蒂舍克·布拉胡德克 2 乔里·杜布罗文 2 萨米·伊万格利斯塔 2 安德烈亚斯·盖泽 2 彼得·兰米奇 2 雷诺，艾蒂安 2 所罗门·西克特 2 西蒙切克，帕维尔 2 斯特雷切克，简 1 帕罗什·阿齐兹·阿卜杜拉 1 苏海卜·巴里尔 1 Bäck，Thomas H.W。 1 布兰德，塞巴斯蒂安 1 陈玉芳 1 洛伦佐·克莱门特 1 亚历山大·杜雷特·卢茨 1 斯特凡·爱德坎普 1 杰科·盖尔登胡伊斯 1 亨利·汉森 1 凯乔·赫尔扬科 1 卢卡什，霍利克 1 Chih-Duo洪 1 斯特凡·贾克斯 1 汤米·A·琼蒂拉。 1 阿尼萨·凯里丁 1 Fabrice Kordon公司 1 莫西尔·Křetínsk \345] 1 克里斯滕森，拉尔斯·迈克尔 1 阿尔芬斯·拉尔曼（Alfons W.Laarman）。 1 阿卡什·拉尔 1 Juraj少校 1 理查德·梅尔（Richard M.Mayr）。 1 托拜厄斯·梅根多夫 1 劳雷·佩特鲁奇 1 丹尼斯·波特雷诺 1 代表，Thomas W。 1 彼得·罗奇凯 1 斯特凡·施温 1 达米安·苏鲁夫斯基 1 安蒂·瓦尔马里 1 汤姆·沃纳 1 克拉拉·沃尔德曼 1 迈克尔·韦伯。 1 马克西米利安·威宁格 1 迈克尔·韦斯特加德 1 萨米尔·优素福 全部的 前5名引用于6个系列 三 计算机程序设计科学 2 系统设计中的形式化方法 1 信息学报 1 理论计算机科学 1 自动推理杂志 1 约束条件 在2个字段中引用 22 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 按年份列出的引文