Skip to main navigation Skip to search Skip to main content

Formal verification of programs that use MPI one-sided communication

  • Salman Pervez
  • , Ganesh Gopalakrishnan
  • , Robert M. Kirby
  • , Rajeev Thakur
  • , William Gropp

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Formal verification of programs that use MPI one-sided communication'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases