An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification

Open Webpage

Neta Elad, Oded Padon, Sharon Shoham

Published: 01 Jan 2024, Last Modified: 25 Jul 2025Proc. ACM Program. Lang. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0