Symbolic verification of message passing interface programs.

Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong

Browse the full ICSE paper archive.