There was also an older project known as Spec# at http://research.microsoft.com/en-us/projects/specsharp/