Freeboogie Una herramienta de verificación de código.
Descargar ahora

Freeboogie Clasificación y resumen

Freeboogie Etiquetas

generar verificar

Freeboogie Descripción

Freeboogie es un programa basado en Java que replica el sistema de verificación de Boogie para las aplicaciones escritas utilizando este idioma intermediario. La aplicación le permite configurar la verificación utilizando argumentos de línea de comandos. Puede usar esta herramienta para verificar los programas escritos en un idioma intermediario. Puede registrar los eventos y mostrar las condiciones de verificación generadas.

Freeboogie Software relacionado