This is the Trace Id: 55850c3c76dc2068299d9f5955fadecd
Skip to main content Microsoft 365 Azure Copilot Windows Surface XBOX Sale Small Business Support Windows Apps OneDrive Outlook Moving from Skype to Teams OneNote Microsoft Teams Shop XBOX Accessories XBOX Game Pass Ultimate XBOX games PC games Microsoft AI Microsoft Security Azure Dynamics 365 Microsoft 365 for business Microsoft Power Platform Windows 365 Digital Sovereignty Microsoft Developer Microsoft Learn Support for AI marketplace apps Microsoft Tech Community Microsoft Marketplace Software companies Visual Studio Microsoft Rewards Free downloads & security Education Gift cards Licensing View Sitemap

Spec# for Visual Studio 2005

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

Important! Selecting a language below will dynamically change the complete page content to that language.

Download

  • Version:

    1.0.20411

    Date Published:

    15/07/2024

    File Name:

    SpecSharp.msi

    File Size:

    5.7 MB

    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.

  • Supported Operating Systems

    Windows 10, Windows 7, Windows 8

    • Windows 7, Windows 8, or Windows 10

    • Click Download and follow the instructions.
Back To Top
Surface Pro Surface Laptop Explore Copilot Explore Microsoft products Games Windows 11 apps Account profile Download Center Returns Order tracking Microsoft Store Promise Microsoft in education Devices for education Microsoft Teams for Education Microsoft 365 Education Office Education Educator training and development Deals for students and parents Azure for students
Microsoft AI Microsoft Security Azure Dynamics 365 Microsoft 365 Microsoft Advertising Microsoft Copilot Microsoft Teams Microsoft Developer Microsoft Learn Support for AI marketplace apps Microsoft Tech Community Microsoft Marketplace Microsoft Power Platform Software companies Visual Studio Careers Company news Privacy at Microsoft Investors Sustainability
English (Singapore)
Your Privacy Choices Opt-Out Icon Your Privacy Choices
Consumer Health Privacy Contact Microsoft Privacy Manage cookies Terms of use Trademarks About our ads