AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code.

Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan

Browse the full APLAS paper archive.