Dynamic Symbolic Verification of MPI Programs

Dhriti Khanna, Subodh Sharma, Cesar Rodriguez, Rahul Purandare
July, 2018
PDF Cite
Type
Conference paper
Publication
In Formal Methods 2018, Oxford, U.K.
model checking MPI runtime verification symbolic analysis
Subodh Sharma
Subodh Sharma
Associate Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation