Proving Computational Geometry Algorithms in TLA+2.

Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun

Browse the full TASE paper archive.