Using model checking with symbolic execution to verify parallel numerical programs.

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke

Browse the full ISSTA paper archive.