Full-featured library for (finite) automata written in Java. #Finite automata #Java automata #Automatic Analysis #Automata #Java #Analysis
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
System requirements
User Comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy
Triple-A 1.4.1
add to watchlist add to download basket send us an update REPORT- runs on:
- Mac OS X (PPC & Intel)
- file size:
- 3.1 MB
- filename:
- triple-a-1.4.1.zip
2 screenshots:
- main category:
- Developer Tools
- developer:
- visit homepage