Lernergebnisse
Absolventinnen und Absolventen dieses Moduls können einfache nebenläufige Anwendungen formal spezifizieren, modellieren, und verifizieren. Sie können Fixpunkt-Berechnungen in mehreren unterschiedlichen Anwendungen ausführen sowie die darunter liegende Theorie erklären und rekonstruieren. Weiterhin verfügen sie über ein solides Grundverständnis für formale Verifikationsaufgaben, das sie befähigt die Lösbarkeit solcher Aufgaben mit den erlernten Techniken zu bewerten. Sie sind darüberhinaus in der Lage, die entsprechenden Kenntnisse und Techniken auf übersichtliche Programmier-Beispiele und Algorithmen zielführend anzuwenden.
