zbMATH中的参考文献（引用于 295篇文章 引用，1标准件)

1. Baresi，L.；Bersani，M.M.；Marconi，F.；Quattrocchi，G.；Rossi，M.：使用正式验证评估Spark应用程序的执行时间（2020年）
2. Bersani，Marcello M.；Soldo，Matteo；Menghi，Claudio；Pelliccione，Patrizio；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
3. Firman，Elizabeth；Maoz，Shahar；Ringert，Jan Oliver:GR（1）合成和相关算法的性能启发式（2020）
4. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；诺曼，盖钦：自主系统控制器综合的协作模型（2020）
5. Mirzaie，Nahal；Faghih，Fathiyeh；Jacobs，Swen；Borndarpour，Borzoo:对称网络中自稳定协议的参数化综合（2020）
6. 王蒙，田，丛，张，南，段，振华，姚晨光：将Xd-C程序翻译成MSVL程序（2020）
7. 德鲁克，尼尔德鲁克；何，西明；瓦克宁，乔尔；佩恩，米哈尔；斯特里奇曼，奥弗：无人机的循环路径选择（2019年）
8. 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用（2019）
9. Marmsoler，Diego；Gidey，Habtom Kashay：FACTum建筑设计模式的交互验证（2019）
10. Menghi，Claudio；Spoletini，Paola；Chechik，Marsha；Ghezzi，Carlo：控制器迭代设计的验证驱动框架（2019）
11. Ramasubramanian，Bhaskar；Niu，Luyao；Clark，Andrew；Bushnell，Linda；Poovendran，Radha:使用安全控制屏障证书的对抗性环境中的线性时序逻辑满意度（2019）
12. 验证协议（2019年，王振华；段振华，安全系统；段振华）
13. Chaki，Sagar；Gurfinkel，Arie:基于BDD的符号模型检查（2018）
14. Gheorghe，Marian；Ceterchi，Rodica；Ipate，Florentin；Konur，Savas；Lefticaru，Raluca：核心P系统：从建模到验证和测试（2018）
15. Kupferman，Orna:自动机理论与模型检验（2018）
16. Li，Jianwen；Zhang，Lijun；Zhu，Shufang；Pu，Geguang；Vardi，Moshe Y；He，Jifeng：LTL可满足性检验的明确过渡系统构建方法（2018）
17. Wu，Yi Chin；Raman，Vasumathi；Rowlings，Blake C.；Lafortune，Stéphane；Seshia，Sanjit A.：模糊处理策略的综合，以确保隐私和效用（2018）
18. 杨凯；段振华；田聪；张楠：MSVL编译器及其应用（2018）
19. Zhang，Min；Ogata，Kazuhiro:从隐藏到可见：将行为理论转化为重写理论的统一框架（2018）
20. Ezekiel，J.；Lomuscio，A.：结合故障注入和模型检查来验证多智能体系统中的容错性、可恢复性和可诊断性（2017）