runtime verification

Dynamic Symbolic Verification of MPI Programs

In FM 2018

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

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

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs