View source for MACS Ed 2014

= Modeling and Analysis of Communicating Systems - Edition 2014 = 


==Contact == 

===Lecturer===
[[Mohammad Mousavi]] 

* Office: E 305
* Telephone 035 16 71 22
* Email: [mailto:m.r.mousavi@hh.se 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 ==



{| class="wikitable"
|-
! Lecture !!  Handouts / Slides !! Other Material 
|-
|  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]]  || [[media:Adam's Slides on UPPAAL]]
|-
|}