Aldebaran : un système de vérification par réduction de processus communicants
par Jean-Claude Fernandez
Thèse de doctorat en Informatique
Sous la direction de Jacques Voiron.
Soutenue en 1988
à l'Université Joseph Fourier (Grenoble ; 1971-2015) , en partenariat avec Institut d'informatique et mathématiques appliquées (Grenoble1989-2006) (laboratoire) .
Le jury était composé de Sacha Krakowiak, Laurent Trilling, Joseph Sifakis.
- Vérification de processus communicants
- Systèmes de transitions étiquetées
- Relation d'équivalence
- Efficacité
- Protocoles de réseaux d'ordinateurs
- Parallélisme (informatique)
mots clés
-
Résumé
Le système de vérification propose permet de réduire et de comparer des systèmes de transitions étiquetées en tenant compte d'une relation d'équivalence. Les relations d'équivalence considérées sont la congruence forte, l'équivalence et la congruence observationnelles et la congruence par modèle d'acceptation. Les bases théoriques d'Aldebaran sont présentées ainsi que des algorithmes efficaces pour la comparaison et les réductions de systèmes de transition étiquetées et une réalisation en langage C
-
Titre traduit
Aldebaran : a system of verification of communicating processes by using reduction
-
Pas de résumé disponible.
