Trace Id is missing

Maximize the everyday with Microsoft 365

Get online protection, secure cloud storage, and innovative apps designed to fit your needs—all in one plan.
For 1 personFor up to 6 people
A young woman works on a Surface laptop while Microsoft 365 App icons whirl around her head.

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.

Download

  • 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

Back To Top