These are verifications by Bart Jacobs of programs from the cbench benchmark using VeriFast.

To verify, just download and unzip the latest VeriFast nightly build for your platform from https://github.com/verifast/verifast (see the README.md for a link), run bin/vfide on the source file, and press the Play toolbar button to verify.