Verification of Reactive Systems, Fachbücher von Klaus Schneider
Das Buch "Verification of Reactive Systems" bietet eine umfassende Einführung in die formalen Methoden zur Spezifikation und ... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Verification of Reactive Systems" bietet eine umfassende Einführung in die formalen Methoden zur Spezifikation und Verifikation reaktiver Systeme. Diese Systeme gewinnen zunehmend an Bedeutung in technischen und professionellen Bereichen sowie im Alltag. Die Gestaltung solcher Systeme stellt eine erhebliche Herausforderung dar, da ein ausgewogenes Verhältnis zwischen Sicherheit und Markteinführungszeit erforderlich ist. Um potenzielle Designfehler frühzeitig zu identifizieren, ist die Verifikation von Spezifikationen gegen Systembeschreibungen in den frühen Entwurfsphasen unerlässlich. Das Werk behandelt ausführlich die Grundlagen der gängigsten formalen Methoden, einschliesslich µ-Kalkül, Omega-Automaten und temporalen Logiken. Es analysiert die Vor- und Nachteile dieser Formalismen aus verschiedenen Perspektiven und bietet detaillierte Beweise für die meisten Ergebnisse, sodass die Präsentation nahezu eigenständig ist. Das Buch richtet sich an fortgeschrittene Studierende, Dozierende und Forschende im Bereich der formalen Methoden.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer