autoformalization 1formal verification 1large language models 1natural language processing 1software testing 1
From the 1 of 9 linked papers with an AI index.
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Verification Modulo Tested Library Contracts
Abhishek Uppar, Omar Muhammad, Sumanth Prabhu +3
We consider the problem of verification modulo tested library contracts as a step towards automating the verification of client programs that use complex libraries. We formulate th…
cs.PL2024
Predictable Verification using Intrinsic Definitions
Adithya Murali, Cody Rivera, P. Madhusudan
We propose a novel mechanism of defining data structures using intrinsic definitions that avoids recursion and instead utilizes monadic maps satisfying local conditions. We show th…