TY  - RPRT
TI  - Verification Modulo Tested Library Contracts
AU  - Abhishek Uppar
AU  - Omar Muhammad
AU  - Sumanth Prabhu
AU  - Deepak D'Souza
AU  - Madhusudan P
AU  - Adithya Murali
PY  - 2026
UR  - https://arxiv.org/abs/2604.15533
ID  - 2604.15533
ER  -