Freeboogie

Een Boogie-programma Backend Verifier ontwikkeld in Java
Download nu

Freeboogie Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • MIT License
  • Prijs:
  • FREE
  • Naam uitgever:
  • Radu Grigore
  • Uitgever website:
  • http://code.google.com/u/radugrigore/
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 3.6 MB

Freeboogie Tags


Freeboogie Beschrijving

Een Boogie-programma Backend Verifier ontwikkeld in Java FreeBOGIE is een Java-kloon van 's werelds beste programma verifier die, in enkele woorden, de juistheid van boogie-programma's controleert. Er zijn een paar fronsend voor statische analyse / verificatie die de taal van de boogie targeten: Spec #, VCC, B2BPL. Als u overwegen om een statische analyse te implementeren, kijk dan eens naar Boogie. AX-vereisten: · Java


Freeboogie Gerelateerde software

Plotten

Blokkering Capable Toolchain / Runtime voor Mac OS X 10.5 en iPhone OS 2.2 of later ...

143 36.2 MB

Downloaden

TTL

Gratis sjabloonbibliotheek voor C ++ -programmering ...

197 60 KB

Downloaden

Over ons