There are two sections that get added to VS 2008 after you install the add-in from MSR to test Code Contracts. The first one is simply called 'Contracts'.
The second tab is named 'Code Contracts'.
The MSR team did a presentation at PDC08 about Code Contracts and the Pex automated-testing tool.
In the area of contract-based coding at Microsoft, there is also Spec#. Sample shown below.
public class Program
static void Main(string!! args)
Console.WriteLine("Spec# says hello!");
public int Add(int i, int j)
requires i > 5;
requires j < 3;
int r = i + j;
Have you had time to look at contract-based coding? What do you think about it?