On the Verification of the Correctness of a Subgraph Construction Algorithm

Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey

We automatically verify the crucial steps in the original proof of correctness of an algorithm which, given a geometric graph satisfying certain additional properties removes edges…