runtime verification

Dynamic Symbolic Verification of MPI Programs
In FM 2018
PDF Cite
Dynamic Symbolic Verification of MPI Programs
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
PDF Cite
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
PDF Cite
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
PDF Cite
Efficient Verification Solutions for Message Passing Systems
PDF Cite
MCC: A runtime verification tool for MCAPI user applications
PDF Cite
Dynamic verification of Multicore Communication applications in MCAPI
PDF Cite
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
PDF Cite