zbMATH参考文献（参考 55篇文章

1. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；诺曼，盖钦：自主系统控制器综合的协作模型（2020）
2. Garzella，Jack J.；Baranowski，Marek；He，Shaobo；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020年）
3. Chini，Peter；Kolberg，Jonathan；Krebs，Andreas；Meyer，Roland；Saivasan，Prakash:论有界上下文转换的复杂性（2017）
4. Barnat，Jiří；Bauch，Petr；Beneš，Nikola；Brim，Luboš；Beran，Jan；Kratochvíla，Tomš：分析航空电子系统需求的合理性（2016年）
5. Bérard，Béatrice；Lafourcade，Pascal；Millet，Laure；Potop Butucaru，Maria；Thierry Mieg，Yann；Tixeuil，Sébastien:移动机器人协议的正式验证（2016年）
6. Dobrikov，Ivaylo；Leuschel，Michael:使用偏序缩减优化B的ProB模型检查器（2016）
7. Barnat，Jiří：Quo-vadis显式状态模型检查（2015）
8. Daniel Dietsch；Heizmann，Matthias；Langenfeld，Vincent；Podelski，Andreas：《公平模理论：LTL软件模型检查的新方法》（2015）
9. Wang，Bing；Deng，Bo；Xing，Fei；Wang，Dongxia；Yao，Yiping:分区事件图：基于LP的并行离散事件仿真建模的形式化（2015）
10. Brim，L.；Dluhoš，P.；Нafránek，D.；Vejpustek，T.：STL*：扩展信号时间逻辑与信号值冻结运算符（2014）
11. Barnat，Jiři；Brim，Luboš；Havel，Vojtěch；Havlíek，Jan；Kriho，Jan；Lenčo，米兰；Ročkai，Petr；Shtill，Vladimír；Weiser，Jiři:Diven 3.0——多线程C（&）C++程序的显式状态模型检查器（2013）ioport公司
12. Brim，Luboš；šeška，米兰；šafránek，大卫：生物系统的模型检查（2013）
13. 克兰，Sjoerd；Groote，Jan Friso；Keiren，Jeroen J.A.；Stappers，Frank P.M.；de Vink，Erik P.；Wesselink，Wieger；Willemse，Tim A.C.：mCRL2工具集及其最新进展概述（2013年）
14. Evangelista，Sami；Kristensen，Lars Michael:用于外部内存状态空间探索的动态状态空间划分（2013）ioport公司
15. Křena，Bohuslav；Vojnar，Tomš：自动化形式分析和验证：概述（2013年）
16. Lamo，Yngve；Wang，Xiaoliang；Mantz，Florian；Bech，Øywind；Sandven，Anders；Rutle，Adrian:DPF workbench:MDE的多级语言工作台（2013）ioport公司
17. Babiak，Tomš；Řehák，Vojtěch；Strejček，Jan:几乎线性的Büchi自动机（2012）
18. Barnat，Jiří；Bauch，Petr；Brim，Luboš；ška，米兰：为许多核心GPU设计快速LTL模型检查算法（2012）ioport公司
19. Barnat，Jiri；Beran，Jan；Brim，Lubos；Kratochvíla，Tomas；Ročkai，Petr：支持航空电子设备simulink设计自动正式验证的工具链（2012年）ioport公司
20. Barnat，Jiří；Brim，Luboš；Ročkai，Petr:用于验证弱LTL特性的动态并行模型检查算法（2012）