MAPPED: Predictive Dynamic Analysis Tool for MPI Applications

A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications

Efficient Verification Solutions for Message Passing Systems

MCC: A runtime verification tool for MCAPI user applications

Dynamic verification of Multicore Communication applications in MCAPI

Some resources for teaching concurrency

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs

ISP: a tool for model checking MPI programs