[N40AI'24] Trust but Verify: Scaling Deductive Verification with Abstract Interpretation

ACM SIGPLAN - [N40AI'24] Trust but Verify: Scaling Deductive Verification with Abstract Interpretation