Triple-AAutomatic analysis made easy. | |
Download |
Triple-A Ranking & Summary
Advertisement
- 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