The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1982 vol.31)
pp: 685-689
A. Mili , Department of Computer and Information Sciences, Texas A & M University
ABSTRACT
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
CITATION
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
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool