zbMATH中的参考文献（参考文献301条,1标准件)

1. Bennour，Imed Eddine:使用lustre对定时同步数据流图的形式化验证（2021）
2. 波扎诺，马可；亚历山德罗·西马蒂；加里奥，马可；琼斯，大卫；Mattarei，Cristian:xSAP三模块发电机的基于模型的安全评估（2021）
3. 巴雷西，L。；贝尔萨尼，医学硕士。；马可尼，F。；夸特罗奇，G。；Rossi，M.：使用形式验证来评估Spark应用程序的执行时间（2020年）
4. 贝尔萨尼，马塞洛M。；索尔多，马特奥；孟吉，克劳迪奥；佩利西翁，帕特里齐奥；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
5. 菲尔曼，伊丽莎白；毛兹，沙哈尔；Ringert，Jan Oliver:GR（1）综合与相关算法的性能启发式（2020）
6. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；Norman，Gethin:自治系统控制器综合的协作模型（2020）
7. 哈伊纳尔，马泰吉；塞缪尔·帕斯特瓦：通过形式化方法选择模型（2020）
8. 赫斯特，乌尔里希；奥扎基，安娜；Dixon，Clare:通过翻译在自然上证明点度量时态逻辑的定理（2020）
9. 米尔扎伊，纳哈尔；法吉，法提耶；雅各布斯，瑞典人；Bornakdarpour，Borzoo:对称网络中自稳定协议的参数化综合（2020）
10. 王蒙；田聪；张楠；段振华；姚晨光：将Xd-C程序转换为MSVL程序（2020）
11. 德鲁克，Nir；何希明；瓦克宁，乔尔；佩恩，米甲；斯特里奇曼，Ofer：无人机循环航路（2019）
12. 李建文；朱淑芳；普格光；张丽君；Vardi，Moshe Y.：基于SAT的显式LTL推理及其在可满足性检验中的应用（2019）
13. 马姆索勒，迭戈；Gidey，Habtom Kashay:FACTum建筑设计模式的交互验证（2019）
14. 孟吉，克劳迪奥；斯波莱蒂尼，保拉；玛莎契克；Ghezzi，Carlo:控制器迭代设计的验证驱动框架（2019）
15. 拉马苏布拉曼尼亚，巴斯卡尔；牛、路遥；克拉克，安德鲁；布什内尔，琳达；Poovendran，Radha:使用安全控制屏障证书的对抗性环境中的线性时序逻辑满意度（2019）
16. 王蒙；田聪；张楠；段振华；杜宏伟：验证安全关键系统的调度协议（2019）
17. 查基，萨加尔；Gurfinkel，Arie:基于BDD的符号模型检查（2018）
18. 马里奥根；塞特奇，罗迪卡；伊帕特，佛罗伦萨素；科努尔、萨瓦；Lefticaru，Raluca:Kernel P系统：从建模到验证和测试（2018）
19. Kupferman，Orna:自动机理论与模型检验（2018）
20. 李建文；张丽君；朱淑芳；普格光；瓦迪，摩舍。；何继峰：LTL可满足性检验的显性过渡系统构建方法（2018）