 Spec# is being developed by Microsoft Research.This sample shows two of the basic structures that are used when adding contracts to your code.Spec# extends C# with non-nullable types that simply checks so the variables of nullable types that has been set as non-nullable are not .