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.

Download Details

File Name: SpecSharp.msi
Version: 1.0.21125
Date Published: 26 November 2008
Download Size: 5.92 MB
Note: By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license.

Tagged on: ,

Leave a Reply

Your email address will not be published. Required fields are marked *