Programmi di triple-a.sf.net

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'interfac