TY  - RPRT
TI  - Predictable Verification using Intrinsic Definitions
AU  - Adithya Murali
AU  - Cody Rivera
AU  - P. Madhusudan
PY  - 2024
DO  - 10.1145/3656450
UR  - https://arxiv.org/abs/2404.04515
ID  - 2404.04515
ER  -