戈亚纳 swMATH ID: 6980 软件作者: Fehnker A.、Huuck R.、Jayet P.、Lussenburg M.、Rauch F。;红蜥蜴软件 描述: Goanna-静态模型检查器。在这项工作中,我们介绍了Goanna,这是第一个使用离线模型检查器对C/C++源代码进行静态分析的工具。我们概述了它的体系结构,并展示了如何在CTL中表达语法属性。定义属性后,该工具将自动高效地分析源代码。我们通过分析OpenSSL和GNU coreutils的实验结果来证明其适用性。 主页: http://rd.springer.com/chapter/10.1007%2F978-3-540-70952-7_20 相关软件: 猎户座;卫星抗体;爆炸;雷神之锤;焊接工艺数据系统++;BAP(BAP);BitBlaze公司;Java PathFinder;周六4j;ASTREE公司 引用于: 4文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 静态软件分析的增量错误路径消除。 Zbl 1262.68037号安斯加·芬克;拉尔夫·休克;西弗利德,肖恩 2009 全部的 前5名7位作者引用 2 安斯加·芬克 2 拉尔夫·休克 2 西弗利德,肖恩 1 Jörg Brauer 1 安迪·金 1 斯特凡·科瓦列夫斯基 1 简·佩莱斯卡 连载1篇 1 计算机程序设计科学 在1个字段中引用 4 计算机科学(68至XX) 按年份列出的引文