Microsoft Research Vcc

por Microsoft Research

Descargar ahora desde el sitio web del desarrollador

5.0

con 1 votos

Tipo de licencia: Gratuita

Descargas totales:9

Sistema operativo:Windows 7

Latest version:2.3

Reportar información incorrecta

Descripción

Captura de pantalla

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.

Descarga Microsoft Research Vcc desde el sitio web del desarrollador

útil

Cómo limpiar el registro

útil

Cómo crear gráficos vectoriales

útil

Cómo usar un cortafuegos