A verification strategy for fault-detection and fault-tolerance circuits. - Gabriele Boschi; Riccardo Mariani; Stefano Lorenzini (IOLTS, 2011)