FreeBoogie is a Java implementation of the "World's Best Program Verification System."