-
ps
-
Lehre
-
Lehrveranstaltungen
-
Sommersemester 2024
Formale Methoden des Systementwurfs
Vorlesung wird an einem initialen Präsenztermin bekanntgegeben. Kommentar Komplexe Hard- und Softwaresysteme durchdringen immer mehr Lebensbereiche und werden zunehmend auch in Anwendungen eingesetzt, die [...] in die Thematik wird durch theoretische und praktische Übungen unter Einsatz entsprechender Softwarewerkezuge vertieft. Übungsinfos In den Übungen wird durch konkrete Aufgabenstellungen die Möglichkeit [...] Bérard, M. Bidoit, A. Finkel, F. Larroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen, Systems and Software Verification , Springer-Verlag, 2001 Eike Best, Semantik – Theorie sequentieller und paralleler …