Freeboogie.

Ein Boogie-Programm Backend-Verifizierer wurde in Java entwickelt
Jetzt downloaden

Freeboogie. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • MIT License
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Radu Grigore
  • Website des Verlags:
  • http://code.google.com/u/radugrigore/
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 3.6 MB

Freeboogie. Stichworte


Freeboogie. Beschreibung

Ein Boogie-Programm Backend-Verifizierer wurde in Java entwickelt Freeboogie ist ein Java-Klon des weltweit besten Programm-Verifizierers, der in wenigen Worten die Richtigkeit von Boogie-Programmen überprüft. Es gibt ein paar Frontends für statische Analysen / Überprüfung, die die Boogie-Sprache angibt: Spec #, Vcc, B2BPL. Wenn Sie in Betracht ziehen, eine statische Analyse umzusetzen, werfen Sie einen Blick auf Boogie. AX-ANFORDERUNGEN: · Java


Freeboogie. Zugehörige Software

Ttblue.

eine objektorientierte, reflektierende Anwendungsprogrammierschnittstelle für C ++ mit einem Schwerpunkt auf Echtzeitsignalverarbeitung ...

140 1.5 MB

Herunterladen

Richdocs.

Ein Adobe AIR-Dienstprogramm, mit dem Sie AS3-Klassen in Sekunden importieren können ...

137 1.3 MB

Herunterladen

Über uns