|
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. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
