A scalable and distributed dynamic formal verifier for MPI programs
- Anh Vo
- , Sriram Aananthakrishnan
- , Ganesh Gopalakrishnan
- , Bronis R. De Supinski
- , Martin Schulz
- , Greg Bronevetsky
- University of Utah
- Lawrence Livermore National Laboratory
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
72
Scopus
citations