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

Project Activity

See All Activity >

License

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

Follow Triple-A

Triple-A Web Site

Other Useful Business Software
EBizCharge Payment Platform for Accounts Receivable Icon
EBizCharge Payment Platform for Accounts Receivable

Getting paid has never been easier.

Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
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