Formal Methods for Software Development | TDA294/DIT271, LP1, HT2019 |
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
| |
W. Ahrendt, Sep 10, 2019 |