System-level State Equality Detection for the Dynamic Verification of Distributed Applications - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

System-level State Equality Detection for the Dynamic Verification of Distributed Applications

Marion Guthmuller
  • Fonction : Auteur
  • PersonId : 891939
Algorithms for the Grid
Martin Quinson
Algorithms for the Grid
CV

Résumé

This poster presents our solution to detect state equality of legacy MPI applications directly at system level, which is important to formally verify these applications.

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Calcul formel [cs.SC] Système d'exploitation [cs.OS]
Fichier principal
Vignette du fichier
2014-eurosys-abstract.pdf (26.07 Ko) Télécharger le fichier
2014-eurosys.pdf (616.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre

Martin Quinson  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00997941

Soumis le : jeudi 29 mai 2014-18:11:40

Dernière modification le : lundi 11 septembre 2023-17:41:18

Archivage à long terme le : vendredi 29 août 2014-10:46:25

Télécharger pour visualiser

Dates et versions

hal-00997941 , version 1 (29-05-2014)

Identifiants

  • HAL Id : hal-00997941 , version 1

Citer

Marion Guthmuller, Martin Quinson. System-level State Equality Detection for the Dynamic Verification of Distributed Applications. EuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands. ⟨hal-00997941⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-RENNES UNIV-LORRAINE INRIA2 LORIA LORIA-NSS UNIV-RENNES ANR
183 Consultations
88 Téléchargements

Partager

Gmail Facebook X LinkedIn More