FunFrog公司 swMATH ID: 6571 软件作者: Ondrej Sery;格里戈里·费尤科维奇;娜塔莎·莎莉吉娜 描述: Funfrog:使用基于插值的函数摘要进行有界模型检查。本文介绍了FunFrog,它是一个工具,用于实现软件有界模型检查的函数摘要方法。它使用基于插值的函数摘要作为函数调用的过近似。在每次成功的验证运行中,FunFrog都会生成所分析程序函数的函数摘要,并对其进行重用,以降低后续验证的复杂性。为了防止报告虚假错误,该工具包含了一个反示例引导的优化循环。实验评估表明FunFrog相对于最先进的软件模型检查器具有竞争力。 主页: http://rd.springer.com/chapter/10.1007%2F978-3-642-33386-6_17 相关软件: 电子音量检查;佩里普洛;开放式SMT;打开SMT2;超小卫星;GNU并联;不明飞行物;简化;ESBMC公司;有限责任公司;PVS公司;符号差异 引用于: 5文件 标准条款 1出版物描述软件 年份 FunFrog:使用基于插值的函数摘要进行有界模型检查Ondrej Sery;格里戈里·费尤科维奇;娜塔莎·莎莉吉娜 2012 全部的 前5名9位作者引用 5 娜塔莎·莎莉吉娜 4 格里戈里·费迪尤科维奇 三 Alt,Leonardo S。 三 安蒂·E·J·海瓦·里宁。 1 帕维尔·扬契克 1 科夫罗,简 1 马泰奥·马雷斯科蒂 1 西蒙·富尔维奥·罗里尼 1 什尔,昂德 连载1篇 1 系统设计中的形式化方法 在2个字段中引用 5 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 按年份列出的引文