Code Contracts is a Microsoft open source project which allows you to express pre-conditions, post-conditions, and assertions directly in code.
