Vérification de logiciels
Techniques et outils du model-checking
224 pages, parution le 10/04/1999
Résumé
Le problème de la validation et de la vérification du
logiciel est devenu un enjeu important sur le plan
économique : de la maîtrise de cet aspect dépend de plus en
plus la maîtrise du secteur industriel concerné. Il existe
diverses techniques pour vérifier formellement tout ou
partie des logiciels critiques dont la correction doit être
garantie. L'une de ces techniques, le model-checking, a
permis de découvrir des erreurs subtiles et importantes au
sein d'applications industrielles.
Après une étude approfondie des principes fondamentaux,
sont détaillées dans ce livre les questions pratiques liées
à l'écriture des propriétés de correction et aux approches
permettant de les vérifier.
Plusieurs outils universitaires ou industriels de
model-checking sont présentés.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Vuibert |
| Auteur(s) | Philippe Schnoebelen |
| Parution | 10/04/1999 |
| Nb. de pages | 224 |
| Format | 17 x 24 |
| Poids | 384g |
| EAN13 | 9782711786466 |
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
