VCC is a mechanical verifier for concurrent C programs.
VCC is a mechanical ... concurrent C programs. VCC takes a C program ... it succeeds, VCC promises that