Tatsuya Abe, Toshiyuki Maeda, Mitsuhisa Sato. Model Checking Stencil Computations Written in a Partitioned Global Address Space Language. In 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24, 2013. pages 365-374, IEEE, 2013. [doi]
Abstract is missing.