海喇叭

此软件的关键字
zbMATH中的参考文献(参考文献 19条 )
加西亚·孔特雷拉斯,伊莎贝尔; 莫拉莱斯,何塞芙。; Hermenegildo,Manuel V.:增量和模块化上下文敏感分析(2021) 吉尔迪,西尔维奥; 帕加尼,埃琳娜:高阶量词消除,计数器模拟和容错系统(2021) 加拉赫,约翰P。; 赫密尼基尔多,曼努埃尔; 卡夫勒、比肖克珊; 克莱曼,马克西米利亚诺; 洛佩斯·加西亚,佩德罗; Morales,José:从大步到小步语义,再回到翻译专业化(2020) 加泽拉,杰克J。; 巴拉诺夫斯基,马雷克; 何少波; Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020) Meseguer,José:广义重写理论,连贯完成和符号方法(2020) 梅斯纳德,弗雷德; Payet,Étienne; Vidal,Germanán:CLP中的混合物测试(2020年) 四、徐杰; 奈克,阿迪提亚; 戴汉俊; 奈克,玛雅; Song,Le:Code2Inv:课程验证的深度学习框架(2020) 布洛姆,罗德里克; 雅各布斯,瑞典人; Vizel,Yakir:投机执行下的有效信息流验证(2019) 拜尔,德克; 丹格尔,马提亚斯; Wendler,Philipp:基于SMT的软件验证的统一观点(2018) 卡夫勒、比肖克珊; 加拉赫,约翰P。; 恒河,格雷姆; 沙赫特,彼得; 桑德加德,哈拉尔德; Stuckey,Peter J.:使用约束Horn子句进行前提推断的迭代方法(2018) 基弗,莫里茨; 弗拉基米尔·克莱巴诺夫; Ulbrich,Mattias:使用编译器IR进行关系程序推理(2018) 卢卡斯,萨尔瓦多; Gutiérrez,Raúl:有序排序一阶理论逻辑模型的自动合成(2018) 卡夫勒、比肖克珊; Gallagher,John P.:Horn子句验证与凸多面体抽象和基于树自动机的精化(2017) 王伟; 巴雷特,克拉克; Wies,Thomas:程序分析的分区内存模型(2017) 德安吉丽斯,伊曼纽尔; 费奥拉万蒂,法比奥; 佩托罗斯,阿尔伯托; Proietti,Maurizio:从Horn子句验证条件中移除不必要的变量(2016) 恒河,格雷姆; 纳瓦斯,豪尔赫A。; 沙赫特,彼得; 桑德加德,哈拉尔德; Stuckey,Peter J.:非解释函数的抽象域(2016) 斯特里克曼,奥弗; Veitsman,Maor:非平衡递归函数的回归检验(2016) 谭佳琪; 戴惠君; 甘地,拉吉耶夫; Narasimhan,Priya:AUSPICE-R:机器代码中真实特征的自动安全性能证明(2016) 比约纳,尼古拉; 格芬克尔,阿里; 肯·麦克米兰; Rybalchenko,Andrey:项目验证的Horn条款求解器(2015)