Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2014

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 , Sep 3, 2014