Spec# for Visual Studio 2008

Spec# is an experimental language that extends C# (version 2) 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. This version of Spec# works with Visual Studio 2008.


File NameSpecSharp.msi
Date Published26 November 2008
Download Size5.92 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.