I’ll be presenting on Code Contracts and Pex at the June 17th meeting of the TRINUG .NET in Depth SIG. If you haven’t used these two products from Microsoft Research, you have missed a treat! Code Contracts allow you to express pre and post-condition