|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs
July 1982 (vol. 31 no. 7)
pp. 685-689
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/TC.1982.1676067, author = {A. Mili}, title = {Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs}, journal ={IEEE Transactions on Computers}, volume = {31}, number = {7}, issn = {0018-9340}, year = {1982}, pages = {685-689}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1982.1676067}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs IS - 7 SN - 0018-9340 SP685 EP689 EPD - 685-689 A1 - A. Mili, PY - 1982 KW - self-stabilizing programs KW - Asserted programs KW - assertions KW - frame of assertions KW - program validation KW - recovery KW - self-checking programs VL - 31 JA - IEEE Transactions on Computers ER - | |||
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
Usage of this product signifies your acceptance of the Terms of Use.