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

Marion Guthmuller 1 Martin Quinson 1
1 ALGORILLE - Algorithms for the Grid
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Abstract : 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.
Type de document :
Communication dans un congrès
EuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands. ACM, 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-00997941
Contributeur : Martin Quinson <>
Soumis le : jeudi 29 mai 2014 - 18:11:40
Dernière modification le : mardi 27 mars 2018 - 13:04:07
Document(s) archivé(s) le : vendredi 29 août 2014 - 10:46:25

Identifiants

  • HAL Id : hal-00997941, version 1

Citation

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. ACM, 2014. 〈hal-00997941〉

Partager

Métriques

Consultations de la notice

881

Téléchargements de fichiers

138