Formal Methods for Software Development TDA294/DIT271, LP1, HT2017

Lecture Notes: Modelling Concurrency

Modelling and verification of concurrent systems with SPIN. We discussed how to model and verify a system with critical sections and avoid deadlock. Material:



Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt, Aug 21, 2017