MACS Ed 2014
From CERES
Contents
Modeling and Analysis of Communicating Systems - Edition 2014
Contact
Lecturer
- Office: E 305
- Telephone 035 16 71 22
- Email: m.r.mousavi@hh.se
Objectives
On completion of the course students will be able to
- Know concept of behavioural specification (Knowledge)
- Know concept of behavioural equivalence (Knowledge)
- Know how to specify logical properties (in temporal logics and modal mu-calculus) (Knowledge)
Manually reason about simple systems (both equationally, and using the semantics of logics) (Application)
- Specify the behaviour of embedded systems or communication protocols (Application)
- Verify specification satisfies its requirements (Application)
Assessment
Assessment is performed in terms of a short paper and a practical project.
Slides and Study Material
| Lecture | Handouts / Slides | Other Material |
|---|---|---|
| Lecture 1: Introduction | Handouts Slides | |
| Lecture 2: Behavrioal Specification | Handouts Slides | Adam's Slides on UPPAAL |
