Efficient state-space exploration for asynchronous distributed programs: Adapting unfolding-based dynamic partial order reduction to MPI programs. (Exploration efficace de l'espace d'état pour les programmes distribués asynchrones: Adaptation de l'UDPOR aux programes MPI)

The Anh Pham 0001. Efficient state-space exploration for asynchronous distributed programs: Adapting unfolding-based dynamic partial order reduction to MPI programs. (Exploration efficace de l'espace d'état pour les programmes distribués asynchrones: Adaptation de l'UDPOR aux programes MPI). PhD thesis, École normale supérieure de Rennes, France, 2019. [doi]