Screenshots of Version 2012-04-09

Solved Parity Game with Colored Winning Regions and Winning Strategies

Screenshots of Version 2011-10-10

Weight Automata

Two-Way Alternating Automata

Compact Safra Trees

Run DAG

Reduced Split Tree

Conversion Chains

Screenshots of Version 2011-02-14

Startup Dialog

Open File

Local Repository

Büchi Store Integration

Drag and Drop Tabs

About

Help

Temporal Formula

QPTL Editor

QPTL Translation

Step-by-Step Translation

Finite Automaton

Automaton Editor

Automata Operations

Emptiness Test

Input Test

Focus Tool

Guidelines

Random Automata

Alternating Automaton

Alternating Automata

Game

Game

Screenshots of Version 2009-04-19

Main Menu

Main Menu

Temporal Formula

QPTL editor

Convert menu

Step-by-step translation

Automaton

Büchi automata editor

Tests on Büchi automata

Operations on Büchi automata

Stage-by-stage complement

Alternating Automaton

Alternating automaton editor

The convert menu of the alternating automaton editor

Game

Game graph editor