TY  - RPRT
TI  - Combining Symbolic Execution and Model Checking to Verify MPI Programs
AU  - Hengbiao Yu
AU  - Zhenbang Chen
AU  - Xianjin Fu
AU  - Ji Wang
AU  - Zhendong Su
AU  - Jun Sun
AU  - Chun Huang
AU  - Wei Dong
PY  - 2020
UR  - https://arxiv.org/abs/1803.06300
ID  - 1803.06300
ER  -