Formal Methods for Software Development
TDA294/DIT271, LP1, HT2020
Lecture Notes: Introduction to PROMELA
Topics
Introduction to PROMELA. We discuss:
Basic PROMELA datatypes, expressions and control flow statements
The role of non-determinism
Interleaving and atomicity
Handouts
Slides:
Slides with overlays
Paper saving version
(simultaneous overlays may look funny)
Examples from the lecture (and more):
PROMELAIntroduction_Examples.zip
W. Ahrendt
, Sep 3, 2020