Verification of Reactive Systems, Fachbücher von Klaus Schneider
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
