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: by 127.0.0.1
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki