- Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran
:
Scalable Translation Validation of Unverified Legacy OS Code. FMCAD 2019: 87-95 - Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang:
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. FMCAD 2019: 129-137 - Avi Ziv:
Challenges and Solutions in Post-Silicon Validation of High-end Processors (Invited Tutorial). FMCAD 2019: 1 - Clark W. Barrett, Jin Yang:
2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019. IEEE 2019, ISBN 978-0-9835678-9-9 [contents]
