Author name: Abhishek Uppar, Omar Muhammad, Sumanth Prabhu, Deepak D'Souza, Madhusudan P, Adithya Murali

arXiv:2604.15533v1 Announce Type: cross
Abstract: We consider the problem of \emph{verification modulo tested library
contracts} as a step towards automating the verification of client programs that use complex libraries. We formulate this problem a…