Software Engineering using Formal Methods - Lecture: Introduction to PROMELA

Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2012
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: Promela Examples from the lecture (and more): PROMELAIntroduction_Examples.zip

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