symbolic analysis

Dynamic Symbolic Verification of MPI Programs
In FM 2018
Dhriti Khanna, Subodh Sharma, Cesar Rodriguez, Rahul Purandare
PDF Cite
Dynamic Symbolic Verification of MPI Programs
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
PDF Cite Project
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
PDF Cite