TY  - RPRT
TI  - Show Me The Money: An Exercise in Proof-Driven Software Understanding
AU  - Joseph Tafese
AU  - Karthik Nukala
AU  - Hassen Saïdi
AU  - Natarajan Shankar
AU  - Arie Gurfinkel
AU  - Giuliano Losa
PY  - 2026
UR  - https://arxiv.org/abs/2607.16499
ID  - 2607.16499
ER  -