Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke. Combining symbolic execution with model checking to verify parallel numerical programs. ACM Transactions on Software Engineering Methodology, 17(2), 2008. [doi]
Abstract is missing.