Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2016

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:



Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Jun 27, 2016