Diego Caminha B. de Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins. Practical formal correctness checking of million-core problem solving environments for HPC. In Jeffrey Carver, editor, Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, SE-CSE 2013, San Francisco, California, USA, May 18, 2013. pages 75-83, IEEE, 2013. [doi]
Abstract is missing.