Triple-A icon

Triple-A For Mac

3.7/5 3
Certified 100% CLEAN Freeware   

Full-featured library for (finite) automata written in Java. #Finite automata  #Java automata  #Automatic Analysis  #Automata  #Java  #Analysis  

Description

Free Download

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:
Triple-A - screenshot #1Triple-A - screenshot #2
  main category:
Developer Tools
  developer:
  visit homepage