runtime verification

Dynamic Symbolic Verification of MPI Programs

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature. --

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