Formal Methods for Software Development - Lecture: Modelling Concurrency

Formal Methods for Software Development	TDA294/DIT271, LP1, HT2020
Lecture Notes: Modelling Concurrency
Modelling and verification of concurrent systems with SPIN. We discuss how to model and verify a system with critical sections and avoid deadlock. Handouts Slides: Slides with overlays Paper saving version Examples from the lecture: ConcurrentProgramming_Examples.zip

	W. Ahrendt, Sep 8, 2020