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