Deductive Software Verification: Future Perspectives

"Deductive Software Verification: Future Perspectives" ist ein Fachbuch, das anlässlich des 20-jährigen Bestehens des KeY-Projekts veröffentlicht wurde, welches sich auf die deduktive Softwareverifikation konzentriert. In den letzten zwei Jahrzehnten hat sich das Gebiet der deduktiven Verifikation erheblich weiterentwickelt. Die Unterstützung realer Programmiersprachen durch deduktive Verifikationstools ist mittlerweile weit verbreitet, was bedeutende theoretische und technische Herausforderungen mit sich brachte. Das Buch versammelt Beiträge von anerkannten Experten, die sich mit den neuesten Herausforderungen in diesem Bereich auseinandersetzen. Die Themen reichen von der Entwicklung von Werkzeugen über Effizienz- und Benutzerfreundlichkeitsüberlegungen bis hin zu neuartigen Spezifikations- und Verifikationsmethoden. Ziel ist es, den Leserinnen und Lesern einen aktuellen Eindruck vom Stand der Technik in der deduktiven Verifikation zu vermitteln und sie zu inspirieren, sich aktiv in diesem Bereich zu engagieren und Kooperationen einzugehen.