Code Contracts
Code Contracts provide a way to specify preconditions, postconditions and object invariants.
Benefits
Improved Testing
Automatic Testing Tools
Static Verification
Reference Documentation
Preconditions
Click the Project Properties Context Menu
If you don't see Code Contracts, download and install code contracts from the following link
http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
Run the solution
PostCondition Code Contract
Object Invariant
