Show Me The Money: An Exercise in Proof-Driven Software Understanding.

Joseph Tafese, Karthik Nukala, Hassen Sadi, Natarajan Shankar, Arie Gurfinkel, Giuliano Losa

Browse the full CAV paper archive.