Vorlesung im WS! Software-Verifikation 1 2 SWS 4 SP
{"Image DocumentName": "Vorlesung im WS! Software-Verifikation 1 2 SWS 4 SP", "Image ImageDescription": "VL Do w\u00f6ch. RUD25, H. Schlingloff. UE Do w\u00f6ch. RUD25, J. Gerlach. Je mehr Software in sicherheitskritischen Systemen eingesetzt wird, umso wichtiger wird es, ihre Korrektheit objektiv nachzuweisen. Beispiele sind Signalisierungsanlagen in der Bahntechnik, Steuercomputer in Flugzeugen oder Regelungen medizinischer Ger\u00e4te. In den letzten Jahren sind formale Verifikations- und Analysemethoden f\u00fcr solche Software so weit entwickelt worden, dass sie auch f\u00fcr industriell relevante Probleme einsetzbar geworden sind. Der Einsatz dieser Methoden wird von den einschl\u00e4gigen Normen f\u00fcr hochgradig sicherheitsrelevante Software dringend empfohlen. Dieser Modul gibt einen \u00dcberblick \u00fcber die wichtigsten formalen Methoden zur Software-Verifikation.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}