Last update: September 5, 2014.
Monday from 13:00-17:00.
08-Sep MF5.122
15-Sep MF3.141
22-Sep MF3.144
29-Sep MF3.144
06-Oct MF3.141
13-Oct MF3.144
20-Oct MF3.144
27-Oct MF3.119
03-Nov MF3.141
10-Nov MF3.141
Woensdag 11:00-15:30 uur
10-Sep MF6.131
17-Sep MF3.144
24-Sep MF3.144
01-Oct MF6.131
08-Oct MF3.144
15-Oct MF3.144
22-Oct MF3.144
29-Oct MF3.144
05-Nov MF3.144
All students can get an account at BCF (MF 3.083) of the faculty to use the toolset on svstud.win.tue.nl. Ask access to the directory /scratch/2iw26 where large files can be stored. This can be done by the NSC by putting you in an adequate group. Make your own subdirectory with names group1, group2, etc. In order to use the graphical tools it is necessary to log in using ssh with the `-Y' flag.
For using graphical programs from a windows machine, a X-server must be installed. For a MacOsX machine an X-windowing systems comes with the standard developers distribution (which is also required to compile the toolset). Logging at the svstud can be done using a program like ssh (secure shell).
All the programs on svstud reside in the directory /home/jfg/bin. Example files are in /home/jfg/MCRL2/examples. In case of problems contact J.F.Groote@tue.nl. All tools have a --help (-h) flag that gives a concise description of the tool and its use. All tools can be started via the command line, and the most important tools work in the mcrl2-gui environment.