4 ms·

Microsoft has a similar project for .NET http://research.microsoft.com/en-us/projects/contracts/ http://research.microsoft.com/en-us/projects/contracts/ . Based

by Yrlec 16y ago

Microsoft has a similar project for .NET http://research.microsoft.com/en-us/projects/contracts/ http://research.microsoft.com/en-us/projects/contracts/ . Based on a quick look I think Microsoft's project is a bit more mature (already has VS-intergration for example).

jefffoster 16y ago
There was also an older project known as Spec# at http://research.microsoft.com/en-us/projects/specsharp/ http://research.microsoft.com/en-us/projects/specsharp/
silverlake 16y ago
MS is more advanced. It also has a static checker for contracts.