@misc{indiciae6214703c5cd9,
  title = {Combining Symbolic Execution and Model Checking to Verify MPI Programs},
  author = {Hengbiao Yu and Zhenbang Chen and Xianjin Fu and Ji Wang and Zhendong Su and Jun Sun and Chun Huang and Wei Dong},
  year = {2020},
  url = {https://arxiv.org/abs/1803.06300},
  note = {Source identifier: 1803.06300}
}