Vérification de logiciels
techniques et outils du model-checking
Collection(s) :
Vuibert informatique
Paru le
10/05/1999 |
Broché 304 pages
Professionnels
30.50 €
Indisponible
avec la collaboration de Béatrice Bérard, François Laroussinie, Michel Bidoit, Antoine Petit
Quatrième de
couverture
Le problème de la vérification du logiciel est devenu un enjeu important sur le plan économique. Or il existe diverses techniques pour vérifier tout ou partie des logiciels critiques pour lesquels la correction doit être garantie. Ce livre s'intéresse ici à la technique du model-checking, utilisé dans des domaines très variés : protocoles de communication, circuits intégrés...