Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms. - Thomas Grégoire; Adam Chlipala (J. Autom. Reason., 2019)