Freeboogie. uma ferramenta de verificação de código.
Baixe Agora

Freeboogie. Classificação e resumo

Freeboogie. Tag

gerar verificar

Freeboogie. Descrição

O FreeBoogie é um programa baseado em Java que replica o sistema de verificação de Boogie para os aplicativos escritos usando essa linguagem intermediária. O aplicativo permite configurar a verificação usando argumentos de linha de comando. Você pode usar essa ferramenta para verificar os programas gravados em uma língua intermediária. Pode registrar os eventos e exibir as condições geradas de verificação.

Freeboogie. Software Relacionado