Select a tag to browse associated projects and drill deeper into the tag cloud.
freeboogie
F
Analyzed 1 day ago
FreeBoogie is a Java clone of the World's Best Program Verifier. It checks the correctness of Boogie programs. There are a few frontends for static analysis/verification that target the Boogie language: Spec#, VCC, B2BPL. If you consider implementing a static analysis, then take a look at Boogie.
Licenses:
mit