Return to search

ALDEBARAN : un système de vérification par réduction de processus communicants

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

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00326157
Date27 May 1988
CreatorsFernandez, Jean-Claude
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0022 seconds