If you’re at PDC this year and interested in Code Contracts, go watch Mike Barnett and Nikolai Tillmann talk about Code Contracts and Pex (another MSR tool). Their session is called Code Contracts and Pex: Power Charge Your Assertions and Unit Tests. It's Tuesday at 4:30 in 408A. They’ll give you details on some of the latest developments in the Code Contract tools.
There will also be a table in the exhibition area where Manuel Fahndrich will have a demo and be able to answer questions.