Sign in

Dynamic Symbolic Verification of MPI Programs.

Dhriti KhannaSubodh SharmaCésar RodríguezRahul Purandare
Published in: FM (2018)
Keyphrases
  • parallel algorithm
  • automatic programming
  • database
  • data sets
  • data structure
  • message passing
  • computer programs
  • symbolic execution