Result: Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST

*Title*:

Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST / Cornelius Pätzold, Simon Schwitanski, Joachim Jenke, Felix Tomski, Matthias S. Müller

*Author/editor-in-chief*:

*Publication*:

Aachen : Universitätsbibliothek der RWTH Aachen, 2024

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Notes*:

In: 10.1109/SCW63240.2024.00035

*DOI*:

10.18154/RWTH-2025-01932

*Result*: Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST