Microsoft Research Vcc

por Microsoft Research

Baixar agora do site do desenvolvedor

5.0

em 1 voto

Licença: Gratuito

Total de downloads:4

Sistema operacional:Windows 7

Latest version:2.3

Denunciar informações incorretas

Descrição

Imagem do ecrã

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 ou VCC, que podem ser relacionados a Microsoft Research Vcc.

Baixar Microsoft Research Vcc do site do desenvolvedor

útil

Como limpar registro

útil

Como criar gráficos vetoriais

útil

Como usar um firewall