Formal Verification of Fault-Tolerant Hardware Designs | Publicación