Unterlagen/Lecture notes

Overview

Teil 1

Die Programmiersprache Go

Concurrency models

More on futures and promises

Teil 2

Modellierung, Spezifikation, statische versus dynamische Verifikation

Resource usage verification

Dynamic data race prediction

Happens-before versus vector clocks

Dynamic deadlock prediction

Dynamic data race and deadlock analysis (highlevel overview)

UPPAAL Labor

UPPAAL Labor

Acknowledgments

Thanks to the students of “Autonome Systeme” for proof reading parts of the lecture notes.