Code Contracts
Contracts for Interfaces
Preconditions
Postconditions
Installing and Enabling Code Contracts