TY  - RPRT
TI  - An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
AU  - Neta Elad
AU  - Oded Padon
AU  - Sharon Shoham
PY  - 2024
DO  - 10.1145/3632875
UR  - https://arxiv.org/abs/2310.16762
ID  - 2310.16762
ER  -