Verification of C programs with VCC
VCC website
VCC online version
VCC tutorial
Data Abstractions in VCC
(paper by Ernie Cohen)
Floyd-Hoare logic
How VCC works
Annotations in VCC
Some examples done in class:
test.c
Assignment 4 (VCC)
Assignment 4 (Boogie)