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