Master in Software and Systems

Analysis of Concurrent Systems

Lecturer (Coordinator):
Lars-Ake Fredlund
lfredlund@fi.upm.es
Lecturer:
Clara Benac
cbenac@fi.upm.es

Semester

Second semester

Credits

4 ECTS

Learning Goals

Syllabus

  1. General concurrent and reactive systems
  2. Correctness properties for concurrent systems: short introduction to logics like LTL, CTL, Buchi automata, etc.
  3. Testing of concurrent systems
  4. Model checking of concurrent systems
  5. Bounded model checking techniques, and general symbolic model checking
  6. Introduction to hybrid and real-time systems
  7. Tools (depending on time and needs during the course): QuickCheck/PropEr, SPIN, Uppaal, McErlang/Java Pathfinder, nuSMV, etc.

Website

http://www.software.imdea.org/graduateschool

Prerequisites

Assessment Method

Tuition Language

English

Subject-Specific Competences

More information:

This table shows the code, description and proficiency level for each subject-specific competence

Code Competence Proficiency Level
SSC4 Analysis and evaluation of several software-based systems construction and management engineering paradigms and approaches S

Learning Outcomes

More information:

This table shows the code, description and proficiency level for each subject learning outcome

Code Learning Outcome Associated competences Proficiency level
RA-SRSD-7 Awareness of the main coordination and agreement protocols SSC4 S

Learning Guide

Subject learning guide for Analysis of Concurrent Systems