Runtime Verification, Fachbücher von Saddek Bensalem, Doron A. Peled

Das Buch "Runtime Verification" bietet eine umfassende Analyse und Diskussion über die Anwendung von Runtime-Verifikationsmethoden in der Softwareentwicklung. Es basiert auf den Erkenntnissen und Ergebnissen der RV-Workshops, die Forscher aus der akademischen und industriellen Welt zusammenbringen, um die Möglichkeiten der leichten formalen Verifikation während der Programmausführung zu erforschen. Diese Methoden ergänzen die traditionellen, ressourcenintensiven formalen Verfahren, indem sie es ermöglichen, Software in Echtzeit zu testen und zu überwachen. Das Buch enthält Beiträge von Experten, die verschiedene Aspekte der Runtime-Verifikation beleuchten, einschliesslich der Instrumentierung von Code zur Fehlererkennung und -vermeidung. Die gesammelten Arbeiten und Vorträge bieten wertvolle Einblicke in die aktuellen Entwicklungen und Herausforderungen in diesem Bereich.