Title | ||
---|---|---|
System-level state equality detection for the formal dynamic verification of legacy distributed applications |
Abstract | ||
---|---|---|
The ever increasing complexity of distributed systems mandates to formally verify their design and implementation. Unfortunately, the common approaches and existing tools to formally establish the correctness of these systems remain hardly applicable to most legacy HPC applications, that are commonly written in Fortran or C/C++, using the MPI standard. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1016/j.jlamp.2017.12.004 | Journal of Logical and Algebraic Methods in Programming |
Keywords | DocType | Volume |
Dynamic verification,MPI applications | Journal | 96 |
Issue | ISSN | Citations |
1 | 2352-2208 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marion Guthmuller | 1 | 0 | 0.68 |
Gabriel Corona | 2 | 0 | 0.68 |
Martin Quinson | 3 | 13 | 2.97 |