Spec# for Visual Studio 2008

QUICK INFO		Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license.
File Name	SpecSharp.msi
Version	1.0.20411
Date Published	14 April 2008
Download Size	5.2 MB

Description

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.