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
Gain insights and build data-powered applications Icon
Gain insights and build data-powered applications

Your unified business intelligence platform. Self-service. Governed. Embedded.

Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
Try it free
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
Report inappropriate content