Issue No.11 - November (1970 vol.19)
S. Murakami , IEEE
By a checking sequence for a sequential machine, we mean an input-output sequence with a special property such that, when the input sequence is applied to the machine, the decision whether or not the machine operates correctly can be made by comparing the output sequence with the output of the machine.
Checking sequence, fault detection, fault diagnosis, sequential machine with fault-detection capabilities.
S. Murakami, K. Kinoshita, H. Ozaki, "Sequential Machines Capable of Fault Diagnosis", IEEE Transactions on Computers, vol.19, no. 11, pp. 1079-1085, November 1970, doi:10.1109/T-C.1970.222835