文件名称:boogieamp:Boogie中间验证语言的Java解析器
文件大小:6.19MB
文件格式:ZIP
更新时间:2024-05-25 12:03:03
Java
## Boogieamp 这是中间验证语言的Java解析器。 目前,这项工作正在进行中,主要用于我们的和项目。 从长远来看,我们将尝试支持实际Boogie语言的越来越多的功能。 请查看单元测试,以了解有关什么在工作以及什么不在工作的更多详细信息。 有关Boogie语言的一般说明,请参见。 但是,该项目的目的是解析当前可以解析的内容,因此语法略有不同,并且boogieamp可以解析上面论文中未描述的内容。 ####要求 Java> = 7 Junit 4 ####用法要了解如何使用该库来解析,处理和创建Boogie文件,请查看我们的转换或。 如果您打算在项目中使用该库,则只需下载。 #### Status我们使用Travis CI来检查Boogieamp的状态: 如果状态为红色,则表示我们尚未通过其他基于Boogie的项目的所有单元测试。 但是,这并不意味着libaray不可