Publications 1 publication Page 1 of 1 Using formal methods to evaluate hardware reliability in the presence of soft errors Bing Xue & Mark Zwolinski, 2022 DOI: 10.1109/PRIME55000.2022.9816775 Type: conference