Code Contracts for .NET - Visual Studio Marketplace

Extension for Visual Studio - Code Contracts are static library methods used from any .NET program to specify the code’s behavior. Runtime checking and static checking tools are both provided for taking advantage of contracts.