Luis Entrena, Antonio J. Sanchez-Clemente, Luis Ángel García-Astudillo, Marta Portela-García, Mario García-Valderas, Almudena Lindoso, Roberto Sarmiento. Formal Verification of Fault-Tolerant Hardware Designs. IEEE Access, 11:116127-116140, 2023. [doi]
Abstract is missing.