Formal Methods for Software Development
TDA294/DIT271, LP1, HT2017
Lecture Notes: Introduction to PROMELA
Topics
Introduction to PROMELA. We discussed:
Basic PROMELA datatypes, expressions and control flow statements
The role of non-determinism
Interleaving and atomicity
Material:
Slides:
Slides with overlays
Paper saving version
(simultaneous overlays may look funny)
Examples from the lecture (and more):
PROMELAIntroduction_Examples.zip
Home
|
Course
|
Schedule
|
Exam
|
Exercises
|
Labs
|
Eval
|
Tools
W. Ahrendt
, Aug 21, 2017