`` Combining parallel numerical execution with model checking to verify symbolic programs '' , umass.edu PDF
`` Combining symbolic execution with model checking to verify parallel numerical programs '' , umass.edu PDF