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

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
goal/screenshot.txt · Last modified: 2012/04/25 15:11 by mht208
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki