Triple-A 1.4

Name: Triple-A
Rating: 3 (19 reviews)
Author: Markus Strauch

Free Make use of a full-featured library for (finite) automata written in Java.

19 votes

Your vote:

Latest version:

1.4.1 See all

Developer:

Markus Strauch

Download

Free 3.1 MB

Open source

Edit app info

Info updated on: Nov 16, 2023

Mac Informer

Discover macOS apps and get updates in one click

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.

Share your experience:

Write a review about this app