Coverage Metrics for Model Checking - Softcover

Chockler, Hana

9783845421988: Coverage Metrics for Model Checking

Softcover

ISBN 10: 3845421983 ISBN 13: 9783845421988

Verlag: LAP LAMBERT Academic Publishing, 2011

Alle Exemplare dieser ISBN-Ausgabe

0 Gebraucht

2 Neu

Von EUR 59,00

This book considers formal verification of computerized systems. In formal verification (model checking),we verify the correctness of a system with respect to a desired behavior bychecking whether a mathematical model of the system satisfies a formal specification ofthe behavior. The process is fully automatic and, in case the verification fails, supplies a counterexample showing a behavior of the system that does not satisfy the specification. These counterexamples are very important and they can be essential in detecting subtle errors in complex designs. On the other hand, when the answer to the correctness query is positive, most model-checking tools terminate without further information to the user.Since a positive answer means that the system is correct with respect to the specification,this may seem like a reasonable policy. However, the exhaustiveness of the model checking process depends solely on the correctness and exhaustiveness of specifications, which are written manually. In this book, we study coverage metrics, which are a way to check exhaustiveness of specifications and can direct the verification process to unexplored areas of the design.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

�ber die Autorin bzw. den Autor

Hana Chockler received the the Ph.D. degree in computer science from the Hebrew University of Jerusalem, Israel in 2003. She joined the Formal Verification group at IBM Research Laboratory in Israel in 2005. Her research interests include automated formal verification of hardware and software systems and coverage metrics for formal verification.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: LAP LAMBERT Academic Publishing
Erscheinungsdatum: 2011
Sprache: Englisch
ISBN 10: 3845421983
ISBN 13: 9783845421988
Einband: Taschenbuch
Anzahl der Seiten: 144
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Fromm
customerservice@vdm-vsg.de

Brivibas gatve 197
Riga
1039
Lettland

Suchergebnisse f�r Coverage Metrics for Model Checking

Foto des Verk�ufers

Coverage Metrics for Model Checking

Hana Chockler

Verlag: LAP LAMBERT Academic Publishing Jul 2011, 2011

ISBN 10: 3845421983 ISBN 13: 9783845421988

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Neuware -This book considers formal verification of computerized systems. In formal verification (model checking),we verify the correctness of a system with respect to a desired behavior bychecking whether a mathematical model of the system satisfies a formal specification ofthe behavior. The process is fully automatic and, in case the verification fails, supplies a counterexample showing a behavior of the system that does not satisfy the specification. These counterexamples are very important and they can be essential in detecting subtle errors in complex designs. On the other hand, when the answer to the correctness query is positive, most model-checking tools terminate without further information to the user.Since a positive answer means that the system is correct with respect to the specification,this may seem like a reasonable policy. However, the exhaustiveness of the model checking process depends solely on the correctness and exhaustiveness of specifications, which are written manually. In this book, we study coverage metrics, which are a way to check exhaustiveness of specifications and can direct the verification process to unexplored areas of the design.Books on Demand GmbH, �berseering 33, 22297 Hamburg 144 pp. Englisch. Artikel-Nr. 9783845421988

Verk�ufer kontaktieren