Verifikation von Verlässlichkeitseigenschaften (S03)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2004 bis 2015
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Transregios
• Teilprojekt zu: TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme
• Antragstellende Institution: Carl von Ossietzky Universität Oldenburg
• Mitantragstellende Institution: Albert-Ludwigs-Universität Freiburg; Universität des Saarlandes
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr. Bernd Becker; Professor Dr.-Ing. Holger Hermanns; Professor Dr.-Ing. Oliver Theel; Professorin Dr. Verena Wolf