Programy według triple-a.sf.net

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ą Pres