Spec# for Visual Studio 2005 - New Release

New release of Spec# for Visual Studio 2005, version 1.0.20411 released on April 11, 2008.

Spec# is an experimental language that extends C# with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, and object invariants. The Spec# Programming System provides design-time checking, run-time checking, and a static verifier.

Download Spec# here.