VCC 2.3 is free to download from our software library. This free software is a product of Microsoft Research. This download was checked by our built-in antivirus and was rated as safe. The software lies within Development Tools, more precisely IDE.
From the developer:
VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct.
You may want to check out more software, such as Microsoft Research Vcc, VCC-300 Manager or Virtual Cover Creator, which might be related to VCC.