zbMATH中的参考文献（参考文献55条)

1. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；Norman，Gethin:自治系统控制器综合的协作模型（2020）
2. 加泽拉，杰克J。；巴拉诺夫斯基，马雷克；何少波；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020）
3. 奇尼，彼得；乔纳森科尔伯格；克雷布斯，安德烈亚斯；迈耶，罗兰；Saivasan，Prakash:论有界语境转换的复杂性（2017）
4. 巴纳特；鲍奇，彼得；贝尼什，尼古拉；布里姆，卢博什；伯兰，一月；Kratochvíla，Tomš：分析航空电子系统需求的合理性（2016）
5. Bérard，Béatrice；拉福卡德，帕斯卡；小米，桂圆；波托普·布图卡鲁，玛丽亚；蒂埃里·米格，扬；Tixeuil，Sébastien:移动机器人协议的正式验证（2016）
6. 多布里科夫，伊瓦伊洛；Leuschel，Michael:使用部分降阶优化B的ProB模型检查器（2016）
7. Barnat，Jiří：Quo-vadis显式状态模型检查（2015）
8. 迪茨，丹尼尔；海兹曼，马提亚斯；兰根菲尔德，文森特；Podelski，Andreas:公平模理论：LTL软件模型检查的新方法（2015）
9. 王兵；邓波；邢飞；王东霞；Yao，Yiping:分区事件图：基于LP的并行离散事件仿真建模的形式化（2015）
10. 边缘，L。；德鲁霍什，P。；萨夫雷内克，D。；Vejpustek，T.：STL*：用信号值冻结运算符扩展信号时序逻辑（2014）
11. 巴纳特；布里姆，卢博什；哈维尔，Vojtěch；哈夫利切克，一月；克里奥，一月；米兰莱科；罗查凯，彼得；什蒂尔，弗拉迪米尔；Weiser，Jiří：神圣3.0——多线程C（&）C++程序的显式状态模型检查器（2013）ioport公司
12. 布里姆，卢博什；乔斯卡，米兰；萨夫雷内克，大卫：生物系统的模型检验（2013）
13. 克兰，斯约尔德；格罗特，简·弗里索；凯伦，杰伦J。A、 。；斯塔普斯，弗兰克P。M、 。；德文，埃里克P。；韦斯林克，威格；威廉，蒂姆A。C、 ：mCRL2工具集及其最新进展概述（2013）
14. 福音派，萨米人；Kristensen，Lars Michael:用于外部内存状态空间探索的动态状态空间划分（2013）ioport公司
15. 科埃纳，波胡斯拉夫；Vojnar，Tomš：自动化形式分析和验证：概述（2013）
16. 拉莫，Yngve；王晓亮；曼茨，弗洛里安；贝基，Øywind；桑德文，安德斯；阿德里安•鲁特尔：DPF工作台：MDE的多级语言工作台（2013）ioport公司
17. 巴比亚克，汤姆š；Řehák，Vojtěch；Streek《几乎线性自动机》（2012年1月）
18. 巴纳特；鲍奇，彼得；布里姆，卢博什；乔伊斯卡，米兰：为许多核心GPU设计快速LTL模型检查算法（2012）ioport公司
19. 巴纳特，吉里；伯兰，一月；布里姆，卢博斯；克拉托赫维拉，托马斯；Ročkai，Petr：支持航空电子设备simulink设计的自动化正式验证的工具链（2012年）ioport公司
20. 巴纳特；布里姆，卢博什；Ročkai，Petr:用于验证弱LTL特性的动态并行模型检查算法（2012）