- Record: found
- Abstract: not found
- Article: not found
Formal verification of algorithms for critical systems
Read this article at
ScienceOpenPublisher
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references16
- Record: found
- Abstract: not found
- Article: not found
The Byzantine Generals Problem
Leslie Lamport, Robert Shostak, Marshall Pease (1982)
- Record: found
- Abstract: not found
- Article: not found
Reaching Agreement in the Presence of Faults
M. Pease, R. Shostak, L. Lamport (1980)
- Record: found
- Abstract: not found
- Article: not found
SIFT: Design and analysis of a fault-tolerant computer for aircraft control
J.H. Wensley, L. Lamport, J. Goldberg … (1978)