Academic
Academic
Home
News
Teaching
Projects
Publications
Students
Contact
Light
Dark
Automatic
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
Cite
×