thesis

Techniques formelles de vérification des systèmes distribués : application aux protocoles de communication des systèmes ouverts

Defense date:

Jan. 1, 1987

Edit

Institution:

Paris, CNAM

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Deux types d'approche pour la verification sont appliques: enumeration des etats et execution symbolique. En particulier, une nouvelle methode d'analyse symbolique est developpee: elle est fondee sur le calcul du point fixe d'un operateur associe a la machine abstraite