...

In addition to the step-by-step tutorial below we also captured a video that shows each of the explained steps:

 Image Added

Download location: http://rtsys.informatik.uni-kiel.de/~kieler/files/pldi14/sccharts.swf

1. Download & Start KIELER

Download a suitable KIELER version for your operation system. The zip bundles are fully compiled and ready-to-run, they do not need any further installation process. Just save and extract them to/at the location of your choice and start the KIELER executable.

Download Locationlocation: http://rtsys.informatik.uni-kiel.de/~kieler/files/pldi14/

...