Difference between revisions of "MACS Ed 2014"

From CERES
Jump to: navigation, search
(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

Modeling and Analysis of Communicating Systems - Edition 2014

Contact

Lecturer

Mohammad Mousavi

  • 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