Visual Studio 2010 の Code Contracts
DevLabs から別途ダウンロード&インストールするとして、
BCL Team Blog : I just installed Visual Studio 2010, now how do I get Code Contracts? [Melitta Andersen]
http://blogs.msdn.com/bclteam/archive/2010/01/26/i-just-installed-visual-studio-2010-now-how-do-i-get-code-contracts-melitta-andersen.aspx
インストールが終わったらリブート(少なくともログオフ&ログオン)すること。(これ重要)
Visual Studio が環境を構築し直す必要があるらしい。