VCC 2.3 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Las versiones 2.3 y 1.0 son las más descargadas por los usuarios del programa.
El programa pertenece al grupo Desarrollo, en concreto al de aplicaciones sobre IDE. Normalmente, los archivos de instalación de este programa tienen los siguientes nombres de fichero: VCC.exe y VccPortCasa.exe. Originariamente, esta herramienta sin coste la diseñó Microsoft Research. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros.
Del desarrollador:
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. If it succeeds, VCC promises that your program actually meets its specifications.
Quizás esté interesado en probar otros programas, como Microsoft Research Vcc o Volkswagen Concept Car, que podrían ser similares a VCC.