![](/statics/img/blank.png)
Triple-A 1.4.1
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 5.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Triple-A
Triple-A (Automatic Analysis with Automata) è una libreria completa per automi (finiti) scritti in Java con due potenti strumenti di analisi (che si occupano di controllo del modello LTL e aritmetica presburger) e un'interfaccia utente grafica costruita intorno ad essa.