Kooperative Softwareverifikation 2

• Antragstellerinnen / Antragsteller: Professor Dr. Dirk Beyer; Professorin Dr. Heike Wehrheim
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 418257054

Softwareverifikation zielt auf die Sicherung hoher Qualität von Software, insbesondere auf den Nachweis der Abwesenheit von unbeabsichtigtem und fehlerhaftem Verhalten. Heutzutage gibt es eine Reihe von Werkzeugen für Softwareanalysen, die unterschiedliche Technologien zur Verifikation nutzen, angefangen von dynamischen über statische Analysen bis hin zum Model-Checking. Diese Techniken haben alle verschiedene Stärken und Schwächen. Das Ziel dieses Projektes ist die Erhöhung von Präzision und Performance von Softwareverifikation durch die Kooperation von verschiedenen Werkzeugen und Techniken. Kooperative Softwareverifikation benötigt (1) Möglichkeiten zum Austausch von Informationen zwischen Verifikationstools und die korrekte Nutzung dieser Information sowie (2) Techniken zur Aufteilung einer Verifikationsaufgabe auf mehrere Werkzeuge. Basierend auf den Ergebnissen der ersten Projektphase wird das Projekt nun insbesondere Techniken zur Erhöhung der Effizienz und Effektivität von kooperativer Verifikation untersuchen sowie die Benutzbarkeit von Werkzeugen verbessern. Der Fokus des Projektes liegt nach wie vor in der kombinierten Entwicklung von Methodik und Theorie der Kooperation. Alle in diesem Projekt entwickelten Ansätze werden gründlich auf großen Benchmarks experimentell untersucht, und das Projekt wird auch neue Benchmarks zur Community beitragen.

• DFG-Verfahren: Sachbeihilfen