Highly Automated Formal Proofs over Memory Usage of Assembly Code.

Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran

Browse the full TACAS paper archive.