A case study in the mechanical verification of fault tolerance


Mantel, Heiko ; Freiling, Felix



DOI: https://doi.org/10.1080/095281300454847
URL: https://www.tandfonline.com/doi/abs/10.1080/095281...
Dokumenttyp: Zeitschriftenartikel
Erscheinungsjahr: 2000
Titel einer Zeitschrift oder einer Reihe: Journal of Experimental & Theoretical Artificial Intelligence : JETAI
Band/Volume: 12
Heft/Issue: 4
Seitenbereich: 473-488
Ort der Veröffentlichung: London [u.a.]
Verlag: Taylor & Francis
ISSN: 0952-813X , 1362-3079
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik I (Freiling 2005-2010)
Fachgebiet: 004 Informatik
Abstract: To 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.




Dieser Eintrag ist Teil der Universitätsbibliographie.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen