Using model checking with symbolic execution to verify parallel numerical programs. - Stephen F. Siegel; Anastasia Mironova; George S. Avrunin; Lori A. Clarke (ISSTA, 2006)

Combining symbolic execution with model checking to verify parallel numerical programs. - Stephen F. Siegel; Anastasia Mironova; George S. Avrunin; Lori A. Clarke (ACM Trans. Softw. Eng. Methodol., 2008)