Software Engineering using Formal Methods - Lecture: Modelling Concurrency

Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2012
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: Slides: Modelling Concurrency Examples from the lecture: ConcurrentProgramming.zip

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Eval \| Tools	W. Ahrendt J. Svenningsson M. Wang , Aug 15, 2012