IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verification of fault tolerance and real time

Proceedings of Annual Symposium on Fault Tolerant Computing

Author(s): Zhiming Liu ; Joseph, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Sendai, Japan, Japan
Conference Date: 25 June 1996
Page(s): 220 - 229
ISBN (Paper): 0-8186-7262-5
ISSN (Paper): 0731-3071
DOI: 10.1109/FTCS.1996.534609
Regular:

A transformational method is given for specifying and verifying fault-tolerant, real-time programs. Such a program needs to be provably correct according to both its functional and real-time... View More

Advertisement