Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke. Using model checking with symbolic execution to verify parallel numerical programs. In Lori L. Pollock, Mauro Pezzè, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. pages 157-168, ACM, 2006. [doi]
Abstract is missing.