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