Und dann auf "Zum Home-Bildschirm [+]".
Stöbern
genialokal zum Startbildschirm hinzufügen
Installieren Sie die genialokal App auf Ihrem Startbildschirm für einen schnellen Zugriff und eine komfortable Nutzung.
Installieren Sie die genialokal App auf Ihrem Startbildschirm für einen schnellen Zugriff und eine komfortable Nutzung.
Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben.
Einleitung.- Spezifikation digitaler Systeme.- Verifikation.- Äquivalenzprüfung.- Eigenschaftsprüfung.- Hardwareverifikation.- Softwareverifikation.- Systemverifikation.- A.1 Mengen.- A.2 Relationen und Funktionen.- A.3 Aussagenlogik.- A.4 Prädikatenlogik erster Ordnung.- A.5 Graphen.- B.1 Entscheidungsdiagramme.- B.2 Binäre Entscheidungsdiagramme.- B.3 Verallgemeinerte Binäre Entscheidungsdiagramme.- C.1 Klassifikation von Problemen.- C.2 SAT-Solver.- C.3 SMT-Solver.- C.4 CTL-Fixpunktberechnung.
