比姆

BEEM:显式模型检查器的基准。我们为显式模型检查程序提供了Beem基准。该基准集包括50多个参数化模型(300个具体实例)及其正确性属性(安全性和活性)。基准测试集附带一个全面的web门户,它提供有关所有模型的详细信息。该门户网站还包括有关状态空间和用于选择实验模型的设施的信息。门户网站的地址是http://anna.fi.muni.cz/models


zbMATH中的参考文献(参考文献30篇文章)

显示第1到第20个结果,共30个。
按年份排序(引用)
  1. 布拉胡德,弗兰蒂š埃克;少校,朱拉杰;斯特雷吉ček,Jan:LTL到具有通用接受和返回的自循环交替自动机(2020年)
  2. 拉米奇,彼得:对命令式霍尔的改进(2019)
  3. 埃斯帕扎,哈维尔;Křet公司ínsk公司ý, 简;所罗门:从LTL到确定性自动机。无红花成分法(2016)
  4. 凯伦,杰伦J。A、 :平价游戏基准(2015年)ioport公司
  5. Lammich,Peter:对命令式/HOL的改进(2015)
  6. ó佩兹Bó贝达,埃德蒙多;科朗格,马克西米利恩;Buchs,Didier:战略:通用Petri网验证框架(2014)ioport公司
  7. 布拉胡德,弗兰蒂š埃克;Křet公司ínsk公司ý, 莫吉ír;斯特雷吉ček,Jan:LTL与确定性Rabin自动机翻译的比较(2013)
  8. 福音派,萨米人;Kristensen,Lars Michael:用于外部内存状态空间探索的动态状态空间划分(2013)ioport公司
  9. 雷诺,艾蒂安;杜雷特·卢茨,亚历山德拉;科顿,法布里斯;Poitrenaud,Denis:性质B的基于强度的分解ü加速模型检查的chi自动机(2013)
  10. 巴纳特,吉ří; 布里姆,卢波š; 反渗透čkai,Petr:用于验证弱LTL属性的最优动态并行模型检查算法(2012)
  11. 杜布罗文,乔里;朱蒂拉,汤米;Heljanko,Keijo:利用step语义对异步系统进行有效的有界模型检查(2012)
  12. 盖瑟,安德烈亚斯;Křet公司ínsk公司ý, 简;Esparza,Javier:Rabinizer:小型确定性自动机(\mathrmLTL(\mathrmF,\mathrmG))(2012)
  13. 阿卜杜拉,帕罗什·阿齐兹;陈玉芳;克莱门特,洛伦佐;荷兰语ík、 卢克áš; 洪志铎;迈尔,理查德;沃伊纳,汤姆áš: 高级拉姆齐基地Büchi自动机包含测试(2011)
  14. 埃德尔坎普。;苏莱斯基。;巴纳特,J。;边缘,L。;Š输入法ček,P.:闪存高效LTL模型检查(2011)
  15. 埃德尔坎普,斯特凡;Sulewski,Damian:GPU上具有延迟重复检测的外部内存广度优先搜索(2011)ioport公司
  16. 福音派,萨米人;佩特鲁奇,劳尔;Youcef,Samir:LTL模型检查的并行嵌套深度优先搜索(2011)
  17. 巴纳特,J。;边缘,L。;反渗透čkai,P.:可伸缩共享内存LTL模型检查(2010)ioport公司
  18. Dubrovin,Jori:通过符号事件跟踪检查异步系统中的有界可达性(2010)
  19. 福音派,萨米人;帕乔尔特,克里斯托夫:解决偏序降阶的忽略问题(2010)ioport公司
  20. 韦伯,迈克尔:一个用于状态空间生成的可嵌入虚拟机(2010)ioport公司