similar to the other thread, MS has released code that not many probably know about. It adds support for compile time code verification meaning you can build up your code with constraints in your actual methods. It looks like it'll be very powerful stuff for getting rid of simple mistakes. Also should cut out masses of boring unit tests 
infoq Contracts-Library
infoq Contracts-Library