FreeBoogie是一个基于Java的程序，重复使用该中介语言编写的应用程序的的不羁验证系统。该应用程序允许您配置验证通过使用命令行参数。 您可以使用该工具来检查中介语言编写的程序。它可以记录事件，并显示生成的验证条件。