John Rushby and Friedrich von Henke. Formal verification of a faulttolerant clock synchronization algorithm. NASA Contractor Report 4239, June 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Formal Methods Technology Transfer: A View from NASA - Caldwell (1996) (2 citations) (Correct)
Design Strategy for a Formally Verified Reliable Computing.. - Ricky Butler (1991) (4 citations) (Correct)
High Level Design Proof of a Reliable Computing Platform - Di Vito, Butler, Caldwell (1992) (1 citation) (Correct)
Formal Techniques for Synchronized Fault-Tolerant Systems - Di Vito, Butler (1992) (10 citations) (Correct)
Verifying the Interactive Convergence Clock Synchronization.. - Young (1992) (17 citations) (Correct)
Hierarchical Approach to Specification and Verification of.. - II, Butler, Di Vito (1990) (Correct)
Checking Verifications of Protocols and Distributed Systems .. - Groote, Monin, Pol (1998) (8 citations) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995) (8 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC