Temporal Logic in Finite-State Verification, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
"Temporal Logic in Finite-State Verification" ist ein Fachbuch, das sich mit der Anwendung von temporaler Logik in der Überpr... Mehr erfahren
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Temporal Logic in Finite-State Verification" ist ein Fachbuch, das sich mit der Anwendung von temporaler Logik in der Überprüfung von endlichen Zustandsmaschinen befasst. Diese Maschinen sind entscheidend für die Analyse und Validierung von Software-Systemen, insbesondere in Bezug auf deren Verhalten und Design. Das Buch bietet eine umfassende Einführung in die Konzepte der Modellprüfung, bei der Fehler in der Systemarchitektur identifiziert werden, indem Anforderungen in Form von Eigenschaften formuliert werden. Ein zentrales Thema ist die Verwendung von Linearer Temporaler Logik (LTL), um diese Anforderungen präzise zu spezifizieren. Das Werk richtet sich an Fachleute und Studierende, die ein vertieftes Verständnis für die theoretischen Grundlagen und praktischen Anwendungen der temporalen Logik in der Softwareverifikation erlangen möchten. Es ist eine wertvolle Ressource für alle, die sich mit der Entwicklung und Überprüfung komplexer Software-Systeme beschäftigen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing