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.
.