VCC 2.3 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. VCC foi originalmente desenvolvido por Microsoft Research. O instalador do programa é chamado geralmente de VCC.exe ou VccPortCasa.exe.
O software está dentro de Ferramentas de Desenvolvimento, na subcategoria IDE. As versões mais populares do programa são 2.3 e 1.0. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros.
Do desenvolvedor:
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.
Confira mais programas, tais como Microsoft Research Vcc ou Volkswagen Concept Car, que podem ser similares a VCC.