+**********************************************************************

*

*

* Einladung

*

*

*

* Informatik-Kolloquium

*

*

*

+**********************************************************************

Zeit: Dienstag, 10. September 2024, 14.00 Uhr

Ort: Raum 9222, Gebäude E3, Ahornstr. 55

Referentin: Prof. Dr. Paula Herber

University of Münster

Title: Formal Verification of Cyber-physical Systems using Domain-specific Abstractions

Abstract:

Cyber-physical systems have become ubiquitous in our daily lives, and their complexity continually evolves to unprecedented levels. In addition to their heterogeneity and interaction with a physical environment, we see a tremendous increase in the use of learning to make autonomous decisions in dynamic environments. These developments pose significant challenges for ensuring the safety and reliability of cyber-physical systems. Formal methods have the potential to guarantee crucial safety properties under all circumstances, but are incredibly expensive and severely suffer from scalability issues. In this talk, I will summarize some of our recent efforts towards reusable specification and more scalable verification of cyber-physical systems using domain-specific abstractions.

Es laden ein: die Dozentinnen und Dozenten der Informatik