Mantel, HeikoHeikoMantelGartner, Felix C.Felix C.Gartner2022-11-142022-11-142000-10-01Journal of Experimental and Theoretical Artificial Intelligence 12 (4): 473-487 (2000-10-01)http://hdl.handle.net/11420/14028To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. This question is studied using a prominent example from the fault tolerance literature: the problem of reliable broadcast in point-to-point networks subject to crash failures of processes. The experiences from this case study show how modular specification techniques and rigorous proof re-use can indeed help in such undertakings.en1362-307920004473487Taylor & FrancisAutomated deductionFault toleranceFormal methodsModular verificationRe-use of proofs and specificationsReliable broadcastInformatikJournal Article10.1080/095281300454847Other