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

Marion Guthmuller,Martin Quinson

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

2014

Marion Guthmuller
Martin Quinson

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.

Keywords:

Distributed computing
Computer science
Theoretical computer science
system level

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations