Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Spec# (pronounced "Spec sharp") is a programming language and verification tool for Microsoft's Common Language Infrastructure. The technology is built on C#, and its syntax extends that of the language to include annotations for expressing program specifications, such as preconditions, postconditions, object invariants, and method contracts. These annotations allow developers to describe the expected behavior of their code more explicitly within the codebase itself. Spec# also comes with an automated analysis tool called Boogie that uses static verification techniques to check whether programs meet their specifications at compile-time. Its integrated development environment enhanced with GUI tools provides programmers with immediate feedback on errors or possible runtime violations of specifications during coding sessions. Spec# has been influential in influencing some features in other languages such as Code Contracts in C#.

Hire Spec# Experts

Enter your email to get started.