球茎

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