SpecSharp 2010-07-20

Rating: No reviews yet
Downloads: 309
Change Set: 55325
Released: Jul 20, 2010
Updated: Jul 21, 2010 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application SpecSharp-2010-07-10.zip
application, 6141K, uploaded Jul 21, 2010 - 309 downloads

Release Notes

This release of Spec# includes an updated version of the Spec# program verifier (SscBoogie) built on the current version of the program verification engine Boogie. This means that the verifier can take advantage of recent versions of the SMT solver Z3 (available separately from http://research.microsoft.com/projects/z3).

Reviews for this release

No reviews yet for this release.