Whiley2Boogie：编译器后端，用于将Whiley程序转换为Boogie程序以进行验证

【文件属性】：

文件名称：Whiley2Boogie：编译器后端，用于将Whiley程序转换为Boogie程序以进行验证

文件大小：1.6MB

文件格式：ZIP

更新时间：2024-03-16 03:47:21

Java

Whiley2布吉 编译器后端，用于将Whiley程序转换为Boogie程序以进行验证。 有关在您的系统上安装Boogie的说明，请参见。