zbMATH中的参考文献（参考文献312篇,1标准件)

1. 阿尔卡尼，保罗；庞巴达，安德里亚；邦凡提，西尔维亚；安吉洛，格兰蒂尼；米芯，猫王属；斯堪的杜拉，帕特里齐亚：软件系统安全保证的阿斯梅塔方法（2021）
2. 贝尼什，尼古拉；布里姆，卢博什；塞缪尔，帕斯瓦；萨夫雷内克，大卫：永世2021：布尔网络中的分歧决策树（2021）
3. Bennour，Imed Eddine:使用lustre对定时同步数据流图的形式化验证（2021）
4. 波扎诺，马可；亚历山德罗·西马蒂；加里奥，马可；琼斯，大卫；Mattarei，Cristian:xSAP三模块发电机的基于模型的安全评估（2021）
5. 乔治，玛丽安；左卡鲁，拉鲁卡；科努尔、萨瓦；尼库列斯库，伊努米哈伊；阿多纳，亨利N.：尖峰神经P系统：矩阵表示与形式验证（2021）
6. 吉巴特，拉蒂西亚；科拉维扎，Hélène；Comet，Jean-Paul:Greening R.Thomas的环境变量框架：分而治之的方法（2021）
7. 何希明；周若愚；琼斯，蒂莫西M.：时间超属性（2021）
8. Makai Mann，Ahmed Irfan，Florian Lonsing，Yahan Yang，Hongce Zhang，Kristopher Brown，Aarti Gupta，Clark Barrett:Pono:A Flexible and Extensible SMT-Based Model Checker（2021年）不是zbMATH
9. 孟吉，克劳迪奥；里兹，亚历山德罗·玛丽亚；安娜，伯纳斯科尼；斯波莱蒂尼，保罗：鱼雷：用拓扑证明见证模型的正确性（2021）
10. 鲁比奥，鲁宾；玛蒂奥利特，纳西索；皮塔，伊莎贝尔；阿尔伯托Verdejo:Maude的策略、模型检查和分支时间特性（2021）
11. 巴雷西，L。；贝尔萨尼，医学硕士。；马可尼，F。；夸特罗奇，G。；Rossi，M.：使用形式验证来评估Spark应用程序的执行时间（2020年）
12. 贝尔萨尼，马塞洛M。；索尔多，马特奥；孟吉，克劳迪奥；佩利西翁，帕特里齐奥；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
13. 菲尔曼，伊丽莎白；毛兹，沙哈尔；Ringert，Jan Oliver:GR（1）综合与相关算法的性能启发式（2020）
14. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；Norman，Gethin:自治系统控制器综合的协作模型（2020）
15. 哈伊纳尔，马泰吉；塞缪尔·帕斯特瓦：通过形式化方法选择模型（2020）
16. 赫斯特，乌尔里希；奥扎基，安娜；Dixon，Clare:通过翻译在自然上证明点度量时态逻辑的定理（2020）
17. 米尔扎伊，纳哈尔；法吉，法提耶；雅各布斯，瑞典人；Bornakdarpour，Borzoo:对称网络中自稳定协议的参数化综合（2020）
18. 王蒙；田聪；张楠；段振华；姚晨光：将Xd-C程序转换为MSVL程序（2020）
19. 德鲁克，Nir；何希明；瓦克宁，乔尔；佩恩，米甲；斯特里奇曼，Ofer：无人机循环航路（2019）
20. 李建文；朱淑芳；普格光；张丽君；Vardi，Moshe Y.：基于SAT的显式LTL推理及其在可满足性检验中的应用（2019）