Scalable Translation Validation of Unverified Legacy OS Code

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.