News
Material, office hours, and Prism
Written on 25.04.2025 14:21 by Holger Hermanns
The material of this week is available in dCMS since yesterday, including tutorial sheet and a second assignment. (We will stop announcing material availabilty from now on.)
Next week will feature no lecture due to Thursday being a public holiday. Instead, we are arranging office hours for the discussion of lecture contents. Meet Gabriel (i) on Tuesday, April 29, 2 pm to 4 pm, and/or (ii) on Friday, May 2, 2 pm to 4 pm in room 533 of E1 3. Besides, you are free to write emails to dengler@depend.uni-saarland.de anytime.
We will soon start with hands-on work using the probabilistic model checker PRISM. It is recommended to get it installed from https://www.prismmodelchecker.org/download.php, and you are invited to play around with it, e.g. by following the tutorial in https://www.prismmodelchecker.org/tutorial/die.php, but this is not essential for the tasks currently in focus.
HeHo