Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs"

In the above correspondence,1 A. Mili aims "to introduce the theoretical basis for the design and validation of self-checking programs." A theoretically sound basis is indeed needed for designing and validating robust fault-tolerant programs, and we follow progress made in this area with great interest. To our disappointment, we found that the formalism presented in the above correspondence¹has not been properly worked out.