慈白 swMATH ID: 26821 软件作者： 弗朗西斯科·洛戈佐 描述： Cibai：一个基于抽象解释的静态分析器，用于Java类的模块化分析和验证。我们介绍了Cibai，一种基于抽象解释的通用静态分析器，用于Java类的模块化分析和验证。我们提出了抽象语义和底层抽象域，这是混叠分析和八角形的组合。我们讨论了一些实现问题，并将Cibai与类似工具进行了比较，显示了Cibai如何在具有可比性能的同时实现更高的自动化和精度。 主页： https://rd.springer.com/chapter/10.1007%2F978-3-540-69738-1_21 相关软件： 格鲁维；布吉；PPL（公私合营）；阿斯特里；CSSV公司；BoogiePL公司；CiaoPP公司；Ciao公司；TVLA公司；GENA公司；SAS公司；JML公司；卡拉卡拉；杰克；JUnit公司；规格# 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Cibai：一个基于抽象解释的静态分析器，用于Java类的模块化分析和验证。 Zbl 1132.68329号弗朗西斯科·洛戈佐 2007 全部的 前5名7位作者引用 2 弗朗西斯科·洛戈佐 1 曼努埃尔·Fähndrich 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 马里奥·梅恩德斯·洛霍 1 豪尔赫·纳瓦斯（Jorge A.Navas）。 1 埃蒂安·佩耶特 1 福斯托·斯波托 2篇连载文章中引用 1 计算机程序设计科学 1 高阶和符号计算 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文