Arxiv-Social, 13 Jul 2017 #arxivsocial_computerscience Title: Verifying Array Manipulating Programs by Tiling. Abstract: Formally verifying properties…