TY  - RPRT
TI  - AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
AU  - Paschal C. Amusuo
AU  - Ricardo Calvo
AU  - Dharun Anandayuvaraj
AU  - Taylor Le Lievre
AU  - Kevin Kolyakov
AU  - Elijah Jorgensen
AU  - Aravind Machiry
AU  - James C. Davis
PY  - 2026
UR  - https://arxiv.org/abs/2605.10712
ID  - 2605.10712
ER  -