Difference between revisions of "MACS Ed 2014"
From CERES
| Line 39: | Line 39: | ||
| Lecture 1: Introduction || [[media:macs_lecture1_handouts_2014.pdf| Handouts]] [[media:macs_lecture1_slides_2014.pdf| Slides]] || | | Lecture 1: Introduction || [[media:macs_lecture1_handouts_2014.pdf| Handouts]] [[media:macs_lecture1_slides_2014.pdf| Slides]] || | ||
|- | |- | ||
| − | | Lecture 2: Behavrioal Specification || [[media:macs_lecture2_handouts_2014.pdf| Handouts]] [[media:macs_lecture2_slides_2014.pdf| Slides]] || | + | | Lecture 2: Behavrioal Specification || [[media:macs_lecture2_handouts_2014.pdf| Handouts]] [[media:macs_lecture2_slides_2014.pdf| Slides]] || [[media:Adam's Slides on UPPAAL]] |
|- | |- | ||
|} | |} | ||
Revision as of 15:49, 19 November 2014
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 | media:Adam's Slides on UPPAAL |
