Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00997941
Contributor : Martin Quinson Connect in order to contact the contributor
Submitted on : Thursday, May 29, 2014 - 6:11:40 PM
Last modification on : Saturday, June 25, 2022 - 7:43:13 PM
Long-term archiving on: : Friday, August 29, 2014 - 10:46:25 AM

Files

Vignette du document
2014-eurosys-abstract.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00997941, version 1

Collections

CNRS | INRIA | ENS-RENNES | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-NSS | UNIV-RENNES | ANR

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. ⟨hal-00997941⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

177

Files downloads

82

 

Contact                    Legal Notice                    Personal Data