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

显示第1到第20个结果,共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)