GoingPostal.ContractsKiller (nuget): Multicaster for parameter and return value validations.
Keywords: postsharp|aop|contracts|design-by-contract