FreeBoogie 0.1下载地址

代码验证工具。

FreeBoogie是一个基于Java的程序，重复使用该中介语言编写的应用程序的的不羁验证系统。该应用程序允许您配置验证通过使用命令行参数。

您可以使用该工具来检查中介语言编写的程序。它可以记录事件，并显示生成的验证条件。