Swedish web site
Lessons
The course includes a number of laboratory sessions and two lessons. The lessons give an introduction to the labs and an opportunity for the students to further clarify issues regarding the labs.
- Lesson 1: SystemC and MPARM simulator [Slides]
-
Lesson 2: Timed automata and UPPAAL demonstration [Slides]
- UPPAAL demonstration: The gossiping persons problem
- Description (see slide 23)
- UPPAAL model
- UPPAAL queries
- UPPAAL demonstration: The gossiping persons problem
Page responsible: Ahmed Rezine
Last updated: 2026-01-15
