Towards Efficient Verification of Parallel Applications with Mc SimGrid

Matthieu Laurent, Thierry Jéron, Martin Quinson

Assessing the correctness of distributed and parallel applications is notoriously difficult due to the complexity of the concurrent behaviors and the difficulty to reproduce bugs.…