The page collects posts in connection with the lecture Specification and Verification of Parallel Systems (IN5110). I am planning for information about the material and content of the lecture. Important messages (for instance concerning organizational issues) will not appear here, but as “beskjeder” on the official IFI page (and email). The posts are mostly NOT pensum. For example, in the oral exam, there won’t be questions specifically targeting information posted (only) here. The intention is to shed additional light on the material covered in the lecture, with the hope of being useful.


official webpage IFI semester page
some discussion platform mattermost
another such platform padlet