In der Veranstaltung werden grundlegende Prinzipien und Techniken vermittelt um die Zuverlässigkeit von Softwaresystemen zu verbessern und/oder zu garantieren.
Der spezielle Inhalt der Vorlesung sind Notationen und Verfahren zum Sicherheits- Performanz- und Zuverlässigkeitsnachweis und Verfahren zur Erstellung von sicheren und zuverlässigen Systemen.
