Preisvergleich / Wohnen / Büro / Simplifying Runtime Verification of Distributed Programs, Fachbücher von Eslam Al Maghayreh

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

49,00 €

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.

Deine Shops für beste Deals

Logo - Galaxus

Galaxus

24 Punkte
% Best Deal

49,00 €

zum Shop
Versandkostenfrei | Lieferzeit: 2-4 Werktage

Produktinfos

Informationen

Lieferzeit:2-4 Werktage
Hersteller:VDM