HABILITATION A DIRIGER DES RECHERCHES :
Contribution à la vérification dynamique des protocoles.
Fichier PostScript (344K)
Claude Jard
Décembre 1994
Les travaux de recherche de Claude JARD travaux portent sur l'analyse des
systèmes parallèles asynchrones. Ils s'inscrivent dans le cadre
général du génie logiciel, et concernent les étapes
de spécification, vérification et test des logiciels
répartis sur des réseaux de processeurs.
Le thème central
développé (qui fait la spécificité et
l'originalité des travaux) est l'étude de
méthodes de
vérification dynamique, dans lesquelles la vérification est
effectuée au cours de l'exécution --abstraite, simulée ou
réelle-- du programme à analyser.