Microsoft Research 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 de Microsoft Research Vcc más usadas son 2.3 y 2.1.
A las aplicaciones del grupo Desarrollo, subgrupo IDE, es a las que pertenece Microsoft Research Vcc. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. Originariamente, esta herramienta sin coste la creó Microsoft Research.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Microsoft Research AutoCollage 2008, que podrían ser parecidos a Microsoft Research Vcc.