Coverage Metrics for Model Checking - Chockler, Hana
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre136,99 €
Occasion · Comme Neuf
Ou 34,25 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 18 mai
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Coverage Metrics For Model Checking Format Broché - Livre Technologie
0 avis sur Coverage Metrics For Model Checking Format Broché - Livre Technologie
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Pomellato
Occasion dès 80,00 €
-
Illuminations-2cd-Prix Conseille 24.20 E/Ttc
Occasion dès 160,00 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 117,78 €
-
Hilgard S Introduction To Psychology Rita L. Atkinson
Occasion dès 95,99 €
-
Simone Pheulpin
Neuf dès 79,00 €
Occasion dès 134,22 €
-
Harmony Hammond: Material Witness
Occasion dès 149,99 €
-
Los Detectives Salvajes (Coleccion Compactos)
Occasion dès 87,99 €
-
Giorgio Morandi: Gemalde, Aquarelle, Zeichnungen, Radierungen (German Edition)
Occasion dès 144,99 €
-
Studio 54: The Legend
1 avis
Occasion dès 80,99 €
-
The Princeton Companion To Applied Mathematics
Neuf dès 128,31 €
Occasion dès 139,99 €
-
Enseignement Oral De Platon: Une Nouvelle Interprétation Du Platonisme (French Edition)
1 avis
Occasion dès 149,99 €
-
Generative Design - Visualize, Program, And Create With Processing
Occasion dès 135,99 €
-
Maison Martin Margiela : Street Special Edition Volumes 1 & 2
Occasion dès 190,00 €
-
Stone Age - Ancient Castles Of Europe
1 avis
Occasion dès 102,40 €
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
1 avis
Neuf dès 158,90 €
-
Prepodobnye Kirill, Ferapont I Martinian Belozerskie
Occasion dès 90,00 €
-
Peter Doig
1 avis
Neuf dès 74,71 €
Occasion dès 134,97 €
-
David Yarrow
Neuf dès 123,00 €
Occasion dès 192,01 €
-
The Viniyoga Of Yoga, Applying Yoga For Healthy Living
Occasion dès 199,00 €
Produits similaires
Présentation Coverage Metrics For Model Checking Format Broché
- Livre Technologie
Résumé :
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....
Biographie:
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.
Détails de conformité du produit
Personne responsable dans l'UE