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

时间:2024-03-16 03:47:21
【文件属性】:

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

文件大小:1.6MB

文件格式:ZIP

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

Java

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


网友评论