The exercises of the course Semantics and Verification given by Colin Riba will appear here.

Important:

There is some homework to be done!

TD 1 – 5 February, 8am, Salle B1

We will work together on the first sheet.

Update: The first exercise sheet was simplified and corrected, as the original definition of the transition system associated to a HW circuit was not quite correct. Please download the new version if you continue working on this exercise.

TD 2 – 12 February, 8am, Salle B1

We will finish the discussion of the first exercise sheet and afterwards work together on the second sheet.

Update: There was a mistake in exercise 2 please consider the corrected version either here or in TD3.

TD 3 – 25 February, 10:15am, Amphi B

This is an exceptional tutorial session that replaces the course on this day.

We will finish the discussion of the dinining philosophers exercise and afterwards work together on the third sheet.

TD 4 – 26 February, 8am, Salle B1

We will finish the discussion of the decomposition theorem and afterwards work together on the fourth sheet.

TD 5 – 5 March, 8am, Salle B1

We will finish the discussion of Cauchy completeness and afterwards work together on the fifth sheet.

TD 6 – 12 March, 8am, Salle B1

We will finish the discussion of ω-regular expressions and afterwards work together on the sixth sheet.

Homework – To be handed in by 12 April, 14:00

Update: There were typos in exercise 2.1 and 3.1, and the assumption that transition systems shall have no final states was not explicit. Please consider the corrected version.

Part of the course and the final grade are some half-way homework.

Please send your solutions as readable scans to me (Henning) or leave your copy in my mailbox in the printer room on the 3rd floor latest by Friday 12th April 2019, 14:00. In total you may earn 40 marks that contribute to 50% of your final grade. You may work together on the exercises, but it is expected that you provide your own worked out solutions.

TD 7 – 19 March, 8am, Salle B1

We will finish the discussion of the concatenation of NBAs and afterwards work together on the seventh sheet.

TD 8 – 26 March, 8am, Salle B1

We will discuss the sheet of last week and afterwards work together on the eigth sheet.

TD 9 – 2 April, 8am, Salle B1

We will finish the discussion of fixed points and afterwards work together on the ninth sheet.

Course – 9 April, 8am

There will be no tutorial on 9 April, instead Colin will be giving a course both the 8th and 9th.