System-level State Equality Detection for the Dynamic Verification of Distributed Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

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

Marion Guthmuller
  • Function : Author
  • PersonId : 891939
Martin Quinson

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.
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
Origin : Files produced by the author(s)
Format : Other

Dates and versions

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

Identifiers

  • HAL Id : hal-00997941 , version 1

Cite

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⟩
181 View
85 Download

Share

Gmail Facebook X LinkedIn More