麻雀莓 swMATH ID: 21586 软件作者： Cho，S.、Kang，J.、Choi，J.和Yi，K。 描述： SparrowBerry：工业强度静态分析仪的验证程序。Sparse Sparrow是一个完善的、全局的、可扩展的C语言分析器。抽象解释和全局稀疏分析框架证明了Sparse Sparrow的设计是正确的。 主页： http://ropas.snu.ac.kr/sparrowberry/ 相关软件： AProVE公司;A3PAT飞机;CoLoR公司;CeTA公司;伊莎贝尔/HOL 引用于： 1文件 4位作者引用 1 马克·布罗克施米特 1 Joosten，Sebastian J.C。 1 雷内·蒂曼 1 Akihisa山田 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文