Specifying and Verifying Fault-Tolerant Systems
| Author(s) : | Stephan Merz Stephan Merz Leslie Lamport, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | Abstract. We formally specify a well known solution to the Byzantine generals problem and give a rigorous, hierarchically structured proof of its correctness. We demonstrate that this is an engineering exercise, requiring no new scientific ideas. 1, |