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