Combining Symbolic Execution and Model Checking to Verify MPI Programs

Hengbiao Yu, Zhenbang Chen, Xianjin Fu +5

Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the comple…