![](/statics/img/blank.png)
Triple-A 1.4.1
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 5.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over Triple-A
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 gebruikersinterface eromheen.