Code Contracts

Code Contracts for .NET extension 見つけました。
コードに制約 (事前条件や事後条件)を記述出来るそうです。
以前、わんくま勉強会 で 中 さんが紹介していた、 Spec# Spec# - Microsoft Research みたいな感じなんでしょうかね？

いちおうサンプルの ApiProtocols ってのを動かしてみました。試してみたところ、コンパイル時に制約違反をしている呼び出しがあれば、インフォメーションで知らせてくれました。