Simplifying Runtime Verification of Distributed Programs, Fachbücher von Eslam Al Maghayreh

Das Buch "Simplifying Runtime Verification of Distributed Programs" bietet eine umfassende Analyse der Herausforderungen, die mit der Erstellung und Überprüfung der Korrektheit verteilter Programme verbunden sind. Es beleuchtet die Bedeutung der Laufzeitverifikation, die es ermöglicht, die Implementierung eines Systems direkt zu überprüfen, anstatt sich auf Modellprüfungen zu stützen. Diese Methode nutzt formale Logiken, um die Validität von Eigenschaften in einem gegebenen Lauf eines verteilten Programms zu überprüfen. Angesichts der exponentiellen Zunahme der globalen Zustände, die durch die gleichzeitige Ausführung von Programmstatements entstehen, wird die Notwendigkeit, die Kosten der Laufzeitverifikation zu reduzieren, besonders deutlich. Das Buch untersucht verschiedene Ansätze zur Kostenreduktion, einschliesslich der Verwendung von Atomen und der Ausnutzung der Serialisierungsnotion. Es schlägt eine Methodologie vor, die diese Konzepte integriert, um Eigenschaften verteilter Programme zu spezifizieren und zu überprüfen.