Microsoft Download Center Archive

Spec# for Visual Studio 2005

  • Published:
  • Version: 1.0.20411
  • Category: other
  • Language: English

Spec# is an experimental language that extends C# with several design-by-contract features. Last published: April 11, 2008.

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.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
Report a problem