Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution. - Zirkel, Timothy K.; Siegel, Stephen F.; McClory, Timothy (2013)