Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms.

Thomas Grgoire, Adam Chlipala

Browse the full ITP paper archive.