Microsoft Research 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. As seguintes versões são as mais frequentemente baixadas pelos usuários do programa: 2.3 e 2.1.
Microsoft Research Vcc foi originalmente produzido por Microsoft Research. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. O programa fica na subcategoria IDE, que fica dentro de Ferramentas de Desenvolvimento.
Do desenvolvedor:
VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type invariants. Annotated programs are translated to logical formulas using the Boogie tool, which passes them to an automated SMT solver Z3 to check their validity.
Confira mais programas, tais como Z3-2.6, VCC ou Microsoft Research AutoCollage 2008, que podem ser relacionados a Microsoft Research Vcc.