Difference between revisions of "MACS Ed 2014"
From CERES
(Created page with "= Modeling and Analysis of Communicating Systems - Edition 2014 = ==Contact == ===Lecturer=== Mohammad Mousavi * Office: E 305 * Telephone 035 16 71 22 * Email: [m....") |
|||
Line 9: | Line 9: | ||
* Office: E 305 | * Office: E 305 | ||
* Telephone 035 16 71 22 | * Telephone 035 16 71 22 | ||
− | * Email: [m.r.mousavi@hh.se] | + | * Email: [mailto:m.r.mousavi@hh.se] |
Revision as of 07:03, 19 November 2014
Contents
Modeling and Analysis of Communicating Systems - Edition 2014
Contact
Lecturer
- Office: E 305
- Telephone 035 16 71 22
- Email: [1]
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 |