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. NewsWe have released the sources on GitHub: http://github.com/CodeContractsDotNet/CodeContracts Francesco's blog on CodeContracts has some answers to FAQs, tricks, documentation, news, etc., primarily fo