Fault-tolerant UIO Sequences in Finite State Machines
Kshirasagar Naik · 1996
The central idea in the paper is to define the concept of strength of a UIO sequence in verifying a state in a faulty implementation. The strength of a UIO sequence is a quantitative measure of the number of output faults required to render the verification power of the sequence ineffective. Thus, UIO sequences of higher strengths can tolerate more output faults while verifying a state. We present an algorithm to compute all UIO sequences of maximal strength in a state machine.