![](/statics/img/blank.png)
Triple-A 1.4.1
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 5.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Triple-A
Triple-A (Automatic Analysis with Automata) to w pełni funkcjonalna biblioteka dla (skończonej) automaty napisanej w Javie z dwoma potężnymi narzędziami analitycznymi (zajmującymi się sprawdzaniem modelu LTL i arytmetyką Presburgera) i graficznym interfejsem użytkownika zbudowanym wokół niego.