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.

Project Samples

Workspace in action

Project Activity

See All Activity >

Categories

Library Management, Mathematics

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Triple-A

Triple-A Web Site

You Might Also Like
Let your volunteer coordinators do their best work. Icon
Let your volunteer coordinators do their best work.

For non-profit organizations requiring a software solution to keep track of volunteers

Stop messing with tools that aren’t designed to amplify volunteer programs. With VolunteerMatters, it’s a delight to manage everything in one place.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Triple-A!

Additional Project Details

Languages

English

Intended Audience

Science/Research, Education, Advanced End Users, Developers

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Library Management Software, Java Mathematics Software

Registered

2006-10-16
Report inappropriate content