zbMATH中的参考文献（参考文献63条)

1. 戴勒，西尔文；哈撒，大卫；三月，克劳德；Moy，Yannick:为反例生成提供最弱的先决条件演算（2018）
2. 克努佩尔，亚历山大；图姆，托马斯；帕迪拉，卡斯滕·伊曼纽尔；Schaefer，Ina:理解演绎验证的参数：key的实证调查（2018）
3. 托特拉，尼桑；Wies，Thomas:基于实例化的完全插值（2016）
4. 基什内尔，弗洛伦特；科斯马托夫，尼古拉；普雷沃斯托，处女座；西诺尔斯，朱利安；Yakobowski，Boris:Frama-C:软件分析视角（2015）ioport公司
5. 艾亚德阿尔卡萨尔；Böhme，萨沙；梅尔霍恩，库尔特；Rizkallah，Christine:验证计算的框架（2014）
6. 贝特林，V。；加拉滕科，V。；Kostyukhin，K.：显式模型控制执行（2014）ioport公司
7. 波尔多，西尔维；法国风格；菲利特，让·克里斯托夫；梅耶罗，米凯拉；梅尔奎恩，纪尧姆；Weis，Pierre:信任计算：从偏微分方程到实际程序的机械化证明（2014）
8. 德波尔，弗兰克S。；de Gouw，Stijn:将监视与运行时断言检查相结合（2014）ioport公司
9. 卡利斯齐克，塞扎里；Urban，Josef:Learning assisted automated reasoning with（\mathsfFlyspeck）（2014年）
10. 阿尔梅达，J.巴塞拉；巴博萨，曼努埃尔；平托，豪尔赫S。；维埃拉，巴巴拉：使用自合成对侧信道对策进行正式验证（2013年）
11. 波尔多，西尔维；法国风格；菲利特，让·克里斯托夫；梅耶罗，米凯拉；梅尔奎恩，纪尧姆；Weis，Pierre:波动方程数值解析：C程序的综合机械化证明（2013）
12. 阿伦特，沃尔夫冈；Dylla，Maximilian:异步对象组合验证系统（2012）
13. 布鲁姆利，比利B。；巴博萨，曼努埃尔；佩奇，丹；Vercauteren，Frederik:ECC相关软件错误攻击的实际实现和消除（2012）
14. 克里斯塔基斯，玛丽亚；米勒，彼得；Wüstholz，Valentin：《明确假设下的协同验证与测试》（2012）
15. Leino，K.Rustan M.：使用SMT解算器自动诱导（2012）
16. 普利纳，卢卡；塔切拉，阿曼多：挑战SMT解算器验证神经网络（2012）
17. 贝克，迈克尔；Hriţcu，Cătălin；TarrachThorsten:自动验证数据处理语言的类型约束（2011）ioport公司
18. 波尔多，西尔维；Marché，Claude:数值程序的形式化验证：从C注释程序到机械证明（2011）
19. 布贝尔，理查德；Hähnle，雷纳；Geilmann，Ulrich:程序规范和验证用Java字符串的形式化（2011）ioport公司
20. 渣滓，克莱尔；菲利特，让·克里斯托夫；Moy，Yannick:正确的容器代码（2011）