Verification Modulo Tested Library Contracts. - Abhishek Uppar; Omar Muhammad; Sumanth Prabhu 001; Deepak D'Souza; P. Madhusudan; Adithya Murali (CoRR, 2026)