Résumé
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples - you do not need any background on formal methods to read most parts of this book.
Sommaire
- Preface
- Introduction
- Languages for Temporal Properties
- How Does the Property Checker Work?
- Is My Specification Consistent?
- Have I Written Enough Properties?
- Design Intent Coverage
- Test Generation Games
- A Roadmap for Formal Property Verification
- References
- Index
Voir tout
Replier
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Pallab Dasgupta |
| Parution | 31/07/2006 |
| Nb. de pages | 252 |
| Format | 16,5 x 24,5 |
| Couverture | Relié |
| Poids | 623g |
| Intérieur | Noir et Blanc |
| EAN13 | 9781402047572 |
| ISBN13 | 978-1-4020-4757-2 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
