×

戈亚纳

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个字段中引用

4 计算机科学(68至XX)

按年份列出的引文