CodeContracts (nuget): Simple Code Contracts for every day!
Keywords: Code|Contracts