- Windows
- Desarrollo
- IDE
- Microsoft Research Vcc
Microsoft Research Vcc
Descripción
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 Advantage TDataSet Descendant for Delphi/C++Builder, conaito PPT2Flash SDK o SpinnerDemo, que podrían ser parecidos a Microsoft Research Vcc.
Comentarios
Por favor, añade un comentario explicando las razones de tu voto.