Accueil
Tous les produits
Arts, Sciences & Société
Sciences, Techniques et Médecine
Personnages scientifiques
Vérification de logiciels : techniques et outils du model-checking

Vérification de logiciels : techniques et outils du model-checking

Name: Vérification de logiciels : techniques et outils du model-checking
Brand: Recyclivre
Author: Philippe Schnoebelen
ISBN: 9782711786466

Philippe Schnoebelen

10/05/1999
Vuibert

NC (0 avis)

Couverture de Vérification de logiciels : techniques et outils du model-checking par Philippe Schnoebelen

Résumé

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...