Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Systems and Software Verification: Model-Checking Techniques and Tools
Die Modellprüfung ist ein leistungsfähiger Ansatz für die formale Überprüfung von Software.
Wenn sie anwendbar ist, liefert sie automatisch vollständige Korrektheitsnachweise oder erklärt anhand von Gegenbeispielen, warum ein System nicht korrekt ist. Dieses Buch bietet eine grundlegende Einführung in diese neue Technik.
Der erste Teil beschreibt in einfachen Worten die theoretischen Grundlagen der Modellprüfung: Übergangssysteme als formales Modell von Systemen, temporale Logik als formale Sprache für Verhaltenseigenschaften und Algorithmen zur Modellprüfung. Im zweiten Teil wird erklärt, wie man in der Praxis umfangreiche und strukturierte temporal-logische Spezifikationen schreibt, während der dritte Teil einen Überblick über einige der wichtigsten verfügbaren Modellprüfprogramme gibt.
| ISBN: | 9783642074783 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2010 |
| Seitenzahl: | 190 |
Derzeit verfügbar, auf Lager.
