Coverage Metrics for Model Checking, Fachbücher von Hana Chockler
Das Buch "Coverage Metrics for Model Checking" von Hana Chockler behandelt die formale Verifikation von computerisierten Syst... Mehr erfahren
Finde die besten Angebote
Bester Preis29 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Coverage Metrics for Model Checking" von Hana Chockler behandelt die formale Verifikation von computerisierten Systemen. Im Rahmen der formalen Verifikation, auch bekannt als Model Checking, wird die Korrektheit eines Systems in Bezug auf ein gewünschtes Verhalten überprüft. Dies geschieht durch die Überprüfung, ob ein mathematisches Modell des Systems eine formale Spezifikation des Verhaltens erfüllt. Der gesamte Prozess ist automatisiert und liefert im Falle eines Verifikationsfehlers ein Gegenbeispiel, das ein Verhalten des Systems zeigt, das nicht der Spezifikation entspricht. Diese Gegenbeispiele sind entscheidend, um subtile Fehler in komplexen Designs zu erkennen. Das Buch untersucht zudem Coverage-Metriken, die dazu dienen, die Vollständigkeit von Spezifikationen zu überprüfen und den Verifikationsprozess auf unerforschte Bereiche des Designs zu lenken.
Informationen
Lieferzeit:2-4 Werktage
Marke:Lap Lambert Academic