Gamification of Loop-Invariant Discovery from Code.

Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios

Browse the full HCOMP paper archive.