Sample Code
This archive contains a few samples to get you started with verification. Many more examples can be found in the VCC source distribution tree, or in the samples package that can be installed after installing VCC (see "All Programs -> Microsoft Research Vcc -> (Re-)Install Samples")