NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Mechanical Proofs of Fault-Tolerant Clock SynchronizationThe following topics are covered in viewgraph form: (1) introduction to clock synchronization protocols; (2) a schematic formulation of clock synchronization; (3) the interactive convergence algorithm; (4) verification of Schneider's formulation; (5) verification of interactive convergence; (6) a hardware-oriented clock synchronization protocol; (7) verification of Infis/Moore's protocol; and (8) the EHDM specification/verification environment.
Document ID
19910008261
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
N Shankar (SRI International Menlo Park, United States)
Date Acquired
September 6, 2013
Publication Date
November 1, 1990
Publication Information
Publication: NASA Formal Methods Workshop, 1990
Publisher: National Aeronautics and Space Administration
Subject Category
Computer Operations and Hardware
Report/Patent Number
NASA-CP-10052
Meeting Information
Meeting: NASA Formal Methods Workshop
Location: Hampton, VA
Country: US
Start Date: August 20, 1990
End Date: August 23, 1990
Sponsors: National Aeronautics and Space Administration
Accession Number
91N17574
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
Single Expert

Related Records

IDRelationTitle19910008246Collected WorksNASA Formal Methods Workshop, 1990
No Preview Available