2 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.PL2018★ 2 cited
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…
cs.DC2014★ 2 cited
MPISE: Symbolic Execution of MPI Programs
Xianjin Fu, Zhenbang Chen, Yufeng Zhang +3
Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection fo…
cs.LO2013
Counterexample-Preserving Reduction for Symbolic Model Checking
Wanwei Liu, Rui Wang, Xianjin Fu +3
The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be re…