Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran. Scalable Translation Validation of Unverified Legacy OS Code. In Clark W. Barrett, Jin Yang, editors, 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019. pages 87-95, IEEE, 2019. [doi]
Abstract is missing.