Scalable Translation Validation of Unverified Legacy OS Code.

Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran

Browse the full FMCAD paper archive.