Fingerprint
Dive into the research topics of 'A scalable and distributed dynamic formal verifier for MPI programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A scalable and distributed dynamic formal verifier for MPI programs
Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. De Supinski, Martin Schulz, Greg Bronevetsky
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
71
Scopus
citations