Towards Efficient Verification of Parallel Applications with Mc SimGrid.

Mathieu Laurent, Thierry Jron, Martin Quinson

Browse the full FORTE paper archive.