Checking geometric programs or verification of geometric structures
Kurt Mehlhorn, Stefan Näher, Thomas F. Schilz, Stefan Schirra, Michael Seel, Raimund Seidel, Christian Uhrig · 1996
A program checker verifies that a particular program execution is correct.We give simple and efficient program checkers for some basic geometric tasks.We report about our experiences with program checking in the context of the LEDA system.We discuss program checking for data structures that have to rely on userprovided functions.