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. This version of Spec# runs on .NET Framework version 2.

Download Details File Name: SpecSharp.msi Version: 1.0.20411 Date Published: 11 April 2008 Download Size: 5.73 MB

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