Freeboogie

Un programa Boogie Program Backend Verifier desarrollado en Java
Descargar ahora

Freeboogie Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • MIT License
  • Precio:
  • FREE
  • Nombre del editor:
  • Radu Grigore
  • Sitio web del editor:
  • http://code.google.com/u/radugrigore/
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 3.6 MB

Freeboogie Etiquetas


Freeboogie Descripción

Un verificador de Boogie Program Backend desarrollado en Java Freeboogie es un clon de Java del mejor verificador del programa del mundo que, en pocas palabras, verifica la exactitud de los programas de Boogie. Hay algunas fronteras para el análisis / verificación estática que se dirige al idioma Boogie: Spec #, VCC, B2BPL. En caso de que considere implementar un análisis estático, luego eche un vistazo a Boogie. Requisitos de AX: · Java


Freeboogie Software relacionado

Plechazes

Paqueta de herramientas / tiempo de ejecución capaz de bloques para Mac OS X 10.5 y iPhone OS 2.2 o posterior ...

143 36.2 MB

Descargar

Richdocs

Una utilidad ADOBE AIRE que le ayuda a importar clases de AS3 en segundos ...

137 1.3 MB

Descargar

Sobre nosotros