Rating: No reviews yet
Downloads: 349
Change Set: 2def3e40c304
Released: Aug 3, 2011
Updated: Aug 4, 2011 by rustanleino
Dev status: Stable Help Icon

Recommended Download

application, 1928K, uploaded Aug 4, 2011 - 349 downloads

Release Notes

Note, you must use Z3 version 2.15 (no newer version can be installed). A new version of Boogie will be made available once Z3 version 2.20 is released (at which time the SMT Lib 2 interface to Z3 will be used). This download also contains Dafny, as well as the Boogie Verification Debugger (BVD) and its VCC and Dafny plug-ins.

Reviews for this release

No reviews yet for this release.