Boogie

Un vérificateur de backend de programme Boogie développé en Java
Télécharger maintenant

Boogie Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • MIT License
  • Prix:
  • FREE
  • Nom de l'éditeur:
  • Radu Grigore
  • Site Internet de l'éditeur:
  • http://code.google.com/u/radugrigore/
  • Systèmes d'exploitation:
  • Mac OS X
  • Taille du fichier:
  • 3.6 MB

Boogie Mots clés


Boogie La description

Un vérificateur de backend de programme Boogie développé en Java FreeBoogie est un clone Java du meilleur vérificateur de programme au monde qui, en quelques mots, vérifie la correction des programmes de Boogie. Il y a quelques frontes pour analyse statique / vérification qui ciblent la langue Boogie: Spécification #, VCC, B2BLL. Si vous envisagez de mettre en uvre une analyse statique, jetez un coup d'il à Boogie. Exigences Axes: · Java


Boogie Logiciels associés

Richdocs

Un utilitaire Adobe Air qui vous aide à importer des classes AS3 en quelques secondes ...

137 1.3 MB

Télécharger

À propos de nous