文件名称：ultimate
文件大小：248.24MB
文件格式：ZIP
更新时间：2024-04-10 22:21:37
automata ltl reachability model-checking software-analysis
最终的 Ultimate是一个程序分析框架。 Ultimate由几个插件组成，这些插件执行程序分析的步骤，例如，解析源代码，将程序从一种表示形式转换为另一种表示形式或分析程序。这些插件的工具链可以执行复杂的任务，例如，验证C程序满足给定的规范。 包括一个Web界面，使您可以在线使用多个工具链，所有开发人员的列表以及多年来获得的Ultimate奖的列表。 可用的文档可以在找到。 您可以下载或尝试我们的。