Feb
24
2009
The .NET Framework 4.0 is introducing a new feature to help us write more stable and trustworthy code. This feature is called "Code Contracts", and it provides a language-agnostic way to express coding assumptions. The contracts are used to improve testing via runtime checking, enable static contract verification and documentation generation.
Although this feature is going to be part of the core library of the .NET Framework 4.0 the Code Contracts team also made it available for .NET Framework 3.5 and Visual Studio 2008 in the form of a separate library.
Please take a look at the introduction video on the Code Contracts web site. Nothing stops you from downloading the library but please keep in mind that this is not ready for prime-time use until the product has come to a full release version.