Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.

Project Activity

See All Activity >

Categories

UML

License

GNU General Public License version 2.0 (GPLv2)

Follow Paxion

Paxion Web Site

Other Useful Business Software
Entity Management Software Icon
Entity Management Software

Filejet’s entity management software organizes & files all of your entity reports: every year, in every jurisdiction – with total visibility.

Automate everything: entity compliance, registered agent services, annual report and BOI filings, org charts, and DBA/fictitious name and business registration renewals, so you can focus on higher-value work.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Paxion!

Additional Project Details

Intended Audience

Advanced End Users, Developers, End Users/Desktop, Quality Engineers

User Interface

Java Swing

Programming Language

Java

Related Categories

Java UML Tool

Registered

2004-11-28