Verification of Dependability Properties (S03)

• Subject Area: Software Engineering and Programming Languages
• Term: from 2004 to 2015
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5485999

Im Teilprojekt soll quantitative Verlässlichkeitsanalyse mit dem höchsten Stand der Technik in Computer-basierter Verifikation integriert werden. Diese Integration erfordert zweierlei Anstrengungen.Auf der Modellierungsebene soll erreicht werden, dass die strikt formale Spezifikation und Verifikationvon Verlässlichkeitseigenschaften mittels moderner, hochsprachlicher Notationen möglich wird.Auf der Analyseebene werden bedeutende algorithmische Fortschritte der momentan verfügbarenAlgorithmen angestrebt.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 14: Automatic Verification and Analysis of Complex Systems
• Applicant Institution: Carl von Ossietzky Universität Oldenburg
• Co-Applicant Institution: Albert-Ludwigs-Universität Freiburg; Universität des Saarlandes
• Project Heads: Professor Dr. Bernd Becker; Professor Dr.-Ing. Holger Hermanns; Professor Dr.-Ing. Oliver Theel; Professorin Dr. Verena Wolf