no code implementations • 2 Sep 2021 • Andrew Walter, Seth Cooper, Panagiotis Manolios
Within an hour, players are able to specify and verify properties of programs that are beyond the capabilities of fully-automated tools.