Multilintjs.
Un'applicazione AIR che ti offre convalida JSLINT continua per i file JavaScript ...
344 KB
 | Freeboogie.Un verificatore di backend del programma Boogie sviluppato in Java |
| Scarica ora | |
Freeboogie. Classifica e riepilogo
Annuncio pubblicitario
- Licenza:
- MIT License
- Prezzo:
- FREE
- Nome editore:
- Radu Grigore
- Sito web dell'editore:
- http://code.google.com/u/radugrigore/
- Sistemi operativi:
- Mac OS X
- Dimensione del file:
- 3.6 MB
Freeboogie. Tag
Freeboogie. Descrizione
Un verificatore di backend del programma Boogie sviluppato in Java Freeboogie è un clone Java del miglior verificatore del programma del mondo che, in poche parole, controlla la correttezza dei programmi Boogie. Ci sono alcune frontend per analisi / verifica statiche che mirano alla lingua boogie: specifiche #, VCC, B2BLL. Nel caso in cui consideri implementazione di un'analisi statica, dai un'occhiata a Boogie. Requisiti dell'ascia: · Java.
Freeboogie. Software correlato
