zbMATH中的参考文献（参考文献123篇)

1. 莱坦，托马斯；Régis Gianas，雅恩；奇夫利埃，皮埃尔；Hiet，Guillaume:使用效果和效果处理程序的模块化验证（2021）
2. 拉姆雷奇，莱恩；Sivilotti，Paolo A.G.：使用RESOLVE框架对Java组件的形式化验证（2021）
3. 班萨尔，克希蒂吉；科斯金，埃里克；特里普，欧默：合成精确和有用的交换性条件（2020）
4. 鲍伊拉盖，昆廷；博博特，弗朗索瓦；希吉瑞努，米哈埃拉；Yakobowski，Boris:利用内存模型中的指针分析进行演绎验证（2019）
5. 包、玉岩；莱文斯，加里·T。；Ernst，Gidon:统一分离逻辑和区域逻辑以实现互操作性（2018）
6. Broy，Manfred:基于假设/承诺的系统接口规范和架构合同的理论和方法（2018）
7. 克努佩尔，亚历山大；图姆，托马斯；帕迪拉，卡斯滕·伊曼纽尔；Schaefer，Ina:理解演绎验证的参数：key的实证调查（2018）
8. 剑，卡梅隆；萨布里，Amr；托宾·霍克施塔特（Tobin Hochstadt），山姆：作为沟通模式的合同监控策略的扩展账户（2018）
9. 阿伦特，沃尔夫冈；奇门托，耶斯·莫里西奥；佩斯，戈登J。；Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性：理论与工具（2017）
10. 阿明，娜达；Rompf，Tiark:LMS verify:已验证系统编程的无遗憾抽象（2017）
11. 卢卡努、多雷尔；拉苏，弗拉德；Arusoaie，Andrei：《符号执行的一般框架：一种共同归纳法》（2017）
12. 贝洛鲁伦索，克劳迪奥；圣弗朗德，玛丽亚；Sousa Pinto，Jorge：《单一任务计划验证的形式化：适应完成方法》（2016）
13. 加兰，弗朗西斯科J。；Cañete Valdeón，JoséM:检验一类无限量化定义的正逻辑程序的综合（2016）
14. 米勒，彼得；施韦霍夫，麦芽；Summers，Alexander J.：Viper:基于权限推理的验证基础设施（2016）
15. 威克，约纳坦；Boström，Pontus:MATLAB风格矩阵程序的基于合同的验证（2016）
16. 穆罕默德·达尔万迪；巴特勒，迈克尔；Rezazadeh，Abdolbaghi:从Event-B模型到Dafny代码合同（2015）ioport公司
17. 达斯塔尼，迈赫迪（编辑）；Sirjani，Marjan（编辑）：软件工程基础。第六届国际会议，FSEN 2015，伊朗德黑兰，2015年4月22日至24日。修订论文选（2015）
18. 莱诺，K.鲁斯坦M。；Lucio，Paqui:Natural Mergesort稳定性和正确性的断言证明（2015）
19. Tschannen，J。；弗利亚，加利福尼亚州；诺迪奥，M。；Polikarpova，N.：Autoprotop:面向对象程序的自动主动功能验证（2015）阿尔十四
20. 阿夫申阿米吉语；布洛姆，斯特凡；达拉比，赛义德；豪氏威马，玛丽克；莫斯托夫斯基，沃伊切赫；Zaharieva Stojanovski，Marina:与VerCors的并行系统验证（2014）