zbMATH参考文献(参考 63篇文章 参考)

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