Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes finis

par Souheib Baarir

Thèse de doctorat en Informatique

Sous la direction de Serge Haddad.

Soutenue en 2007

à Paris 6 .

  • Titre traduit

    Exploiting partial symmetries in formal verification and performance evaluation of finite concurrent systems


  • Pas de résumé disponible.


  • Résumé

    Le travail présenté dans cette thèse s’intéresse à la réduction de l’explosion combinatoire rencontrée lors de la vérification formelle par model-checking ou l’évaluation de performances de systèmes concurrents finis. L’approche suivie pour obtenir cette réduction de l’explosion combinatoire consiste à la combattre à la source en mettant à profit les symétries pouvant apparaître dans les systèmes analysés et ainsi pouvoir factoriser la représentation de ces comportements. La contribution apportée par ce travail consiste à prendre en compte les symétries partielles. Il apporte des solutions originales en proposant une séparation entre les parties symétriques et asymétriques du comportement permettant la construction d’un espace d’état quotient dans lequel les symétries sont évaluées dynamiquement au cours du processus de vérification ou d’évaluation

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (204 p.)
  • Annexes : Bibliogr. p.195-204. 106 réf. bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 2007 560
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.