Maximize the everyday with Microsoft 365
Get online protection, secure cloud storage, and innovative apps designed to fit your needs—all in one plan.
Spec# for Visual Studio 2008
Spec# is an experimental language that extends C# (version 2) with several design-by-contract features. Last published: November 26, 2008.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
1.0.21125
Date Published:
5/12/2016
File Name:
SpecSharp.msi
File Size:
5.9 MB
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.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.
Follow Microsoft