Skip to Main content Skip to Navigation
Theses

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
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00326157
Contributor : Thèses Imag <>
Submitted on : Thursday, October 2, 2008 - 7:34:12 AM
Last modification on : Friday, November 6, 2020 - 4:12:13 AM
Long-term archiving on: : Friday, June 4, 2010 - 12:05:48 PM

Identifiers

  • HAL Id : tel-00326157, version 1

Collections

Citation

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. ⟨tel-00326157⟩

Share

Metrics

Record views

514

Files downloads

630