Login / Signup

Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.

Sarvani S. VakkalankaGanesh GopalakrishnanRobert M. Kirby
Published in: CAV (2008)
Keyphrases
  • parallel algorithm
  • symbolic execution
  • general purpose
  • real time
  • message passing
  • massively parallel
  • high level
  • dynamic environments
  • model checking
  • test generation