This Article 
 Bibliographic References 
 Add to: 
Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs
July 1982 (vol. 31 no. 7)
pp. 685-689
A. Mili, Department of Computer and Information Sciences, Texas A & M University
Self-checking programs are programs which meet the following condition. For any legal input, either they return the correct output or they return a message indicating that the output may be incorrect. Self-checking programs are capable of recognizing irregular conditions in their state space and reporting it. Self-stabilizing programs are programs which, in addition to (or instead of) reporting irregular conditions in their state space, take action to recover from them. This correspondence describes how to formally verify that a program is self-checking or self-stabilizing and discusses the relationship between the thoroughness of recovery actions in a self-stabilizing program and the overall quality of the program.
Index Terms:
self-stabilizing programs, Asserted programs, assertions, frame of assertions, program validation, recovery, self-checking programs
A. Mili, "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs," IEEE Transactions on Computers, vol. 31, no. 7, pp. 685-689, July 1982, doi:10.1109/TC.1982.1676067
Usage of this product signifies your acceptance of the Terms of Use.