Trace Id is missing

Unlock your potential with Microsoft Copilot

Get things done faster and unleash your creativity with the power of AI anywhere you go.
Download the Copilot app
Microsoft Copilot app being utilized to generate pictures of a singing dog, assisting to identify a flower, and helping to generate an email to congratulate a coworker on a promotion.

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