Paxion

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow Paxion

Paxion Web Site

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

Similar Business Software

Theum

Theum is cutting-edge software that combines comprehensive knowledge management technology with the power of generative AI to create the ultimate platform for automating and controlling your organization’s knowledge flows and realizing the maximum value of your knowledge assets. - Automate...

See Software
Renderforest

Renderforest is an all-in-one branding platform that allows users to create broadcast-quality videos, AI optimized logos, photorealistic mockups, digital and print graphics of all topics and purposes, as well as fully functioning websites. Choose from the ever-growing collection of...

See Software
DbVisualizer

DbVisualizer is one of the world’s most popular database editors. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to visualize and manage their databases, schemas, objects, and table data, and to auto-generate, write and optimize queries. And so much...

See Software

Report inappropriate content