Dynamic Symbolic Verification of MPI Programs.

Dhriti Khanna Subodh Sharma César Rodríguez Rahul Purandare

Published in: FM (2018)

Keyphrases

parallel algorithm
automatic programming
database
data sets
data structure
message passing
computer programs
symbolic execution