Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)685-689
Number of pages5
JournalIEEE Transactions on Computers
Issue number7
StatePublished - Jul 1982
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics


Dive into the research topics of 'Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs'. Together they form a unique fingerprint.

Cite this