Towards Efficient Verification of Parallel Applications with Mc SimGrid. - Matthieu Laurent; Thierry Jéron; Martin Quinson (CoRR, 2025)