Searching for "Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock
- … Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock…
- Cited by 19 (1 self) – Add To MetaCart
-
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock
- …Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock…
- Add To MetaCart
-
unknown title
- … 1987. [39] Natarajan Shankar. Mechanical verification of a generalized protocol for Byzantine fault-tolerant…
- Add To MetaCart
-
Formal Methods for Dependable Real-Time Systems
- …. [35] Natarajan Shankar. Mechanical verification of a generalized protocol for Byzantine fault-tolerant…
- Cited by 1 (0 self) – Add To MetaCart
-
Critical System Properties: Survey and Taxonomy
- … 1993. [Sha92] Natarajan Shankar. Mechanical verification of a generalized protocol for Byzantine fault-tolerant…
- Cited by 55 (2 self) – Add To MetaCart
-
A.1. Using Hybrid mjrty 67
- … Shankar. Mechanical verification of a generalized protocol for Byzantine fault-tolerant clock…
- Add To MetaCart
-
44 Appendix C. The Full Specification and Verification
- … form. 28 Bibliography 27 [20] Natarajan Shankar. Mechanical verification of a generalized protocol…
- Add To MetaCart
Showing 1 through 7.
