Dynamic Symbolic Verification of MPI Programs

Dhriti Khanna, Subodh Sharma, Cesar Rodriguez, Rahul Purandare
July 2018
PDF
Type
Conference paper
Publication
In Formal Methods 2018, Oxford, U.K.

model checking mpi runtime verification symbolic analysis

Related