Triple-A

Full-featured library for (finite) automata written in Java
Download

Triple-A Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Price:
  • FREE
  • Publisher Name:
  • Markus Strauch
  • Publisher web site:
  • Operating Systems:
  • macOS
  • File Size:
  • 3.1 MB

Triple-A Tags


Triple-A Description

Full-featured library for (finite) automata written in Java 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. Requirements: · Java 1.5 or later


Triple-A Related Software

About SoftwareSea