Finding Your Way Through Formal Verification - Couverture souple

Murphy, Bernard; Pandey, Manish; Safarpour, Sean

 
9781986274111: Finding Your Way Through Formal Verification
Couverture souple
ISBN 10 : 198627411X ISBN 13 : 9781986274111
Editeur : CreateSpace Independent Publishing Platform, 2018

Synopsis

There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for their intended purpose; we recommend a few at the end of this book. But most start from the assumption that you have already committed to becoming a hands-on expert (or in some cases that you already are an expert). We feel that detailed tutorials are not the easiest place to extract the introductory view many of us are looking for – background, a general idea of how methods work, applications and how formal verification is managed in the overall verification objective. Since we’re writing for a fairly wide audience, we cover some topics that some of you may consider elementary (why verification is hard), some we hope will be of general interest (elementary understanding of the technology) and others that may not immediately interest some readers (setting up a formal verification team). What we intentionally do not cover at all is how to become a hands-on expert.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
CreateSpace Independent Publishing Platform
Date d'édition
2018
Langue
anglais
ISBN 10 
198627411X
ISBN 13 
9781986274111
Reliure
Broché
Nombre de pages
134
Coordonnées du fabricant
Manufactured by Amazon on behalf of the author
https://www.amazon.fr/hz/contact-us

c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy
Luxembourg
L-1855
Luxembourg