Modelling Reactive Systems 4

Level 4 Module MRS4

Prof. Muffy Calder
Computing Science Department
University of Glasgow

Recommended Reading

Design and Validation of Computer Protocols, Gerard Holzmann. Prentice-Hall 1991.

Spin pages

LOTOS pages

Lecture Slides

• Lecture 1
• Lectures 2 and 3
• Lecture 4
• Lecture 5
• Lecture 6
• Lecture 7
• Lectures 8 and 9
• Lecture 10
• Lecture 11
• Lecture 11
• Lecture 13
• Lecture 14
• Lecture 14 and a half
• Lecture 15
• Lecture 16
• Lecture 17
• Lecture 18
• Lecture 19