Difference between revisions of "MACS Ed 2014"
From CERES
| Line 9: | Line 9: | ||
* Office: E 305 | * Office: E 305 | ||
* Telephone 035 16 71 22 | * Telephone 035 16 71 22 | ||
| − | * Email: [mailto:m.r.mousavi@hh.se] | + | * Email: [mailto:m.r.mousavi@hh.se m.r.mousavi@hh.se] |
Revision as of 07:04, 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 |
