Mechanical verification of a schematic Byzantine clock synchronization algorithm
By: Natarajan Shankar.
Contributors: United States. National Aeronautics and Space Administration. Scientific and Technical Information Program.; Langley Research Center.
Series: NASA contractor report -- 4386.; NASA contractor report -- NASA CR-4386.
Publisher: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program; For sale by the National Technical Information Service]
Published: 1991
Place of publication: [Washington, D.C.?]; [Springfield, Va
Language: eng
Format: Microform
Number of pages: 127
Subjects: Synchronization -- Computer programs.; Computer programs -- Verification.; Fault-tolerant computing.
Notes: Distributed to depository libraries in microfiche.

"Prepared for Langley Research Center under Contract NAS!-18226."

Shipping list no.: 92-0371-M.

Includes bibliographical references (p. 37).

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1991] 2 microfiches.

NAS1-18226. 505-64-10-05.