|
|
Here you can find some screenshots demonstrating
the application and several plugins.
Click images to see larger screenshots.
|
Core application.
|
Parity Game with Overview and
Layout Algorithm.
.
|
|
Logic plugin.
|
Transition
System with description of mu-calculus
evaluation algorithm.
.
|
Result of mu-calculus
evaluation algorithm.
.
|
|
|
|