Formal Systems Tutorial 1

On Transition Systems
20.1.17
Exercises 2.1 2.5, from Ch 2, Baier, pp 82-84.

Formal Systems Tutorial 2

On Safety Properties
2.217
Exercises 3.1, 3.2, 3.5, 3.6, 3.7, 3.8 from Ch3, Baier, pp 145-146.

Formal Systems Tutorial 3

On Safety and Liveness Properties
9.2.17
Exercises 3.9 through 3.14, Baier, pp 146-147.
(have been done in the class you may submit (for your record)

Formal Systems Tutorial 4

On Safety and Liveness Properties with Fairness assumptions
23.2.17
Exercises 3.15 through 3.20 from Ch 3, Baier, pp 147-148.