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

You Might Also Like
Recruit and Manage your Workforce Icon
Recruit and Manage your Workforce

Evolia makes it easier to hire, schedule and track time worked by frontline in medium and large-sized businesses.

Evolia is a web and mobile platform that connects enterprises with 1000’s of local shift workers and offers free workforce scheduling and time and attendance solutions. Is your business on Evolia?
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
Report inappropriate content