|Model-Checking SS 2018|
|News | Basic information | Content | Exercises | Slides | Links | Exam|
The following tools are used in the lectures and in the exercises.
can be downloaded from the web page of
Follow the instructions in INSTALL to build the package.
If you have a problem when installing the default version of perl/Tk from CPAN, download the lastest version Tk-804.033 and install it manually.