ALDEBARAN : un système de vérification par réduction de processus communicants - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1988

Aldebaran : a system of verification of communicating processes by using reduction

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

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
Fichier principal
Vignette du fichier
Fernandez.Jean-Claude_1988_these.pdf (14.27 Mo) Télécharger le fichier

Dates et versions

tel-00326157 , version 1 (02-10-2008)

Identifiants

  • HAL Id : tel-00326157 , version 1

Citer

Jean-Claude Fernandez. ALDEBARAN : un système de vérification par réduction de processus communicants. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1988. Français. ⟨NNT : ⟩. ⟨tel-00326157⟩

Collections

UGA CNRS TDS-MACS
342 Consultations
297 Téléchargements

Partager

Gmail Facebook X LinkedIn More