 Spec# is a dialect of C# that is developed in parallel with the standard implementation from Microsoft.It extends C# with specification language features and is a possible future feature to the C# language.It also adds syntax for the code contracts API that was introduced in .NET Framework 4.0.