Be explicit, use Code Contracts.

What is code contract?
It is a latest set of tools and library from Microsoft that provides optimised way of validate parameters , return values and object state.