机译:第十六届国际验证,模型检验和抽象解释会议特刊
机译:模型检查和抽象解释是高级程序分析技术的基础:TACAS 2009的部分论文
机译:有关验证,模型检查和抽象解释的特殊部分的序言
机译:通过结合抽象解释和有界模型检查来减少假阳性
机译:硬件描述语言程序切片和减少边界模型检查搜索开销的方法。
机译:在选择家庭食物垃圾的驱动因素时进行模型选择和平均,以减少误报的可能性
机译:摘要切片:一种基于摘要解释和模型检查的程序切片新方法
机译:改善pharmcheck sweat补丁:减少环境污染和增加药物检测的误报