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.
https://hal.inria.fr/hal-00997941
Contributor : Martin Quinson
<>
Submitted on : Thursday, May 29, 2014 - 6:11:40 PM
Last modification on : Tuesday, December 18, 2018 - 4:26:02 PM
Document(s) archivé(s) le : Friday, August 29, 2014 - 10:46:25 AM
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⟩
