Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.

Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang

Browse the full SETTA paper archive.