Sciweavers

Share
FLAIRS
2000

A Case Study in the Mechanical Verification of Fault Tolerance

9 years 6 months ago
A Case Study in the Mechanical Verification of Fault Tolerance
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent example from the fault tolerance literature: the problem of reliable broadcast in point-to-point networks opposed to crash failures of processes. The experiences from this case study show how modular specification techniques and rigorous proof reuse can indeed help in such undertakings.
Heiko Mantel, Felix C. Gärtner
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where FLAIRS
Authors Heiko Mantel, Felix C. Gärtner
Comments (0)
books