Towards a community for formal verification for Germany/DACH

Throughout the last years trustworthiness has become a key building block in the design development of new software and hardware systems. In many application domains state-of-the-art testing is not sufficient to establish the needed trustworthiness. Formal verification, where properties of a program are expressed as theorems and established via machine-checked proofs, has the potential to serve as foundation of high-assurance software. Beyond that, formal verification is set to become a key building block for trustworthy AI systems.

This workshop shall serve as an open discussion forum, to bring together practitioners and researchers in formal verification, to exchange ideas and discuss the latest trends in the domain of specification-driven formal verification for software and hardware design.

To promote formal verification, we aim to establish a community (potentially as a GI Fachgruppe) where researchers in Germany and the DACH area connect, exchange ideas and prepare the roadmap for the future development of formal verification.

Workshopchair:

• Marieke Petersen, Gesellschaft für Informatik e.V.
• Sebastian Ertel, Barkhausen Institut
• Dr. Sven Linker, Kernkonzept, and
• Marieke Petersen, German Informatics Society.