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
Martin Quinson

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.

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)
Licence
Format Autre
Licence

Dates et versions

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

Licence

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⟩
278 Consultations
267 Téléchargements

Partager

  • More