示踪剂

此软件的关键字
zbMATH中的参考文献(参考文献 12条 )
加西亚·孔特雷拉斯,伊莎贝尔; 莫拉莱斯,何塞芙。; Hermenegildo,Manuel V.:增量和模块化上下文敏感分析(2021) 卡夫勒、比肖克珊; 加拉赫,约翰P。; 恒河,格雷姆; 沙赫特,彼得; 桑德加德,哈拉尔德; Stuckey,Peter J.:使用约束Horn子句进行前提推断的迭代方法(2018) 卡夫勒、比肖克珊; Gallagher,John P.:Horn子句验证与凸多面体抽象和基于树自动机的精化(2017) 卢卡努、多雷尔; 拉苏,弗拉德; Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017) 拉苏,弗拉德; Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017) 爱斯达,罗曼; 沃辛,弗里德里克; 沃尔夫,伯克哈特:用符号执行技术消除不可行路径。 路径正确性和保存证明(2016) 德安吉丽斯,伊曼纽尔; 费奥拉万蒂,法比奥; 佩托罗斯,阿尔伯托; Proietti,Maurizio:通过线性化约束Horn子句证明命令程序的正确性(2015) 恒河,格雷姆; 纳瓦斯,豪尔赫A。; 沙赫特,彼得; 桑德加德,哈拉尔德; Stuckey,Peter J.:Horn子句作为程序分析和转换的中间表示(2015) 德安吉丽斯,伊曼纽尔; 费奥拉万蒂,法比奥; 佩托罗斯,阿尔伯托; Proietti,Maurizio:软件模型检查的约束泛化专业化(2013) 恒河,格雷姆; 纳瓦斯,豪尔赫A。; 沙赫特,彼得; 桑德加德,哈拉尔德; Stuckey,Peter J.:故障表约束逻辑插值编程(2013) De Angelis,Emanuele:《程序专业化的软件模型检查》(2012) 贾法尔,约森; Vijayaraghavan村; 纳瓦斯,豪尔赫A。; Santosa,Andrew E.:TRACER:验证的符号执行工具(2012)