Triple-A

Automatic analysis made easy.
Download

Triple-A Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Publisher Name:
  • Markus Strauch
  • Operating Systems:
  • Windows All
  • File Size:
  • 3.1 MB

Triple-A Tags


Triple-A Description

Triple-A or Automatic Analysis with Automata is a full-featured Java based library for finite automata designed with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.


Triple-A Related Software

About SoftwareSea