zbMATH参考文献（参考 63篇文章 参考）

1. 西尔文·戴勒（Dailler），大卫·豪扎（Hauzar），克劳德·马奇（Marché），莫伊（Moy），扬尼克（Yannick）：为反例生成提供最薄弱的前提条件演算（2018年）
2. Alexander Knüppel；Thüm，Thomas；Pardylla，Carsten Immanuel；Schaefer，Ina:理解演绎验证的参数：对key的实证调查（2018）
3. Totla，Nishant；Wies，Thomas:基于实例化的完全插值（2016）
4. Kirchner，Florent；Kosmatov，Nikolai；Prevosto，Virgile；Signoles，Julien；Yakobowski，Boris:Frama-C:软件分析视角（2015）ioport公司
5. Alkassar，Eyad；Böhme，Sascha；Mehlhorn，Kurt；Rizkallah，Christine:认证计算验证框架（2014）
6. Betelin，V.；Galatenko，V.；Kostyukhin，K.：显式模型的控制执行（2014）ioport公司
7. Boldo，Sylvie；Clément，François；Filli–tre，Jean Christophe；Mayero，Michaela；Melquiond，Guillaume；Weis，Pierre：《信任计算：从偏微分方程到实际程序的机械化证明》（2014）
8. de Boer，Frank S.；de Gouw，Stijn:将监视与运行时断言检查相结合（2014）ioport公司
9. Kaliszyk，Cezary；Urban，Josef:Learning assisted automated reasoning with（\mathsfFlyspeck）（2014年）
10. Almeida，J.Bacelar；Barbosa，Manuel；Pinto，Jorge S.；Vieira，Bárbara:使用自合成对侧信道对策进行正式验证（2013年）
11. Sylvie Boldo；Clément，François；Filli–tre，Jean Christophe；Mayero，Michaela；Melquiond，Guillaume；Weis，Pierre：《波动方程数值解决：C程序的综合机械化证明》（2013）
12. Ahrendt，Wolfgang；Dylla，Maximilian:异步对象组合验证系统（2012）
13. Brumley，Billy B.；Barbosa，Manuel；Page，Dan；Vercauteren，Frederik：ECC相关软件缺陷攻击的实际实现和消除（2012）
14. Christakis，Maria；Müller，Peter；Wüstholz，Valentin：《明确假设下的协同验证和测试》（2012）
15. Leino，K.Rustan M.：使用SMT解算器自动诱导（2012）
16. 普利纳，卢卡；塔切拉，阿曼多：挑战SMT解算器验证神经网络（2012）
17. Backes，Michael；Hriţcu，Cătălin；Tarrach，Thorsten:自动验证数据处理语言的输入约束（2011）ioport公司
18. Boldo，Sylvie；Marché，Claude:数值程序的形式验证：从C注释程序到机械证明（2011）
19. Bubel，Richard；Hähnle，Reiner；Geilmann，Ulrich:用于程序规范和验证的Java字符串的形式化（2011）ioport公司
20. Dross，Claire；Filli–tre，Jean Christophe；Moy，Yannick：《正确的包含容器的代码》（2011）