Programma's van triple-a.sf.net

Triple-A (Automatic Analysis with Automata) is een volledige bibliotheek voor (eindige) automata geschreven in Java met twee krachtige analysetools (omgaan met LTL-modelcontrole en Presburger rekenkunde) en een grafische gebr