Ein 2-D Viewer für ProB und Eclipse

Die Tcl/Tk Version von ProB kann verschiedene Informationen als Graphen darstellen (Zustandsraum, komprimierten Zustandsraum, Expression Transition Graph, Maschinenstruktur,...). Die Eclipse Version hat diese Fähigkeiten noch nicht; diese sollen entwickelt werden. Es wäre auch interessant einen sehr flexiblen Viewer für den Zustandsraum zu konzipieren, wo der Benutzer interaktiv die Darstellung beinflussen kann (Projektion auf bestimmte Variablen, Transition zu ignorieren, Farben und Formen nach einem Prädikat zu setzen,...).