Download of Triple-A 1.4.1 for Mac was available from the developer's website when we last checked. We cannot confirm if there is a free download of this app available. The application lies within Education Tools, more precisely Science. We recommend checking the downloaded files with any free antivirus. This free Mac application was originally produced by Markus Strauch.
From the developer:
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
You may want to check out more software for Mac, such as Triplea, which might be related to Triple-A.
Music Production
Puzzle