| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
H. Shi, J. Peleska, M. Kouvaras |
| Herausgeber: |
Bob Werner |
| Titel: |
Combining Methods for the Analysis of a Fault-Tolerant System |
| Buch / Sammlungs-Titel: |
Proceedings of 1999 Pacific Rim International Sympositum on Dependable Computing |
| Seite(n): |
135 – 142 |
| Serie / Reihe: |
IEEE |
| Ausgabe: |
PR00371 |
| Erscheinungsjahr: |
2000 |
| Verleger: |
IEEE Computer Society, 10662 Los Vaqueros Circle, P.O.Box 3014, Los Alamitos, CA 90720-1314, USA |
| Abstract / Kurzbeschreibung: |
This paper presents experieces gaied from the verification of a large-scale real-world embedded system by means of formal methods. The approach is based on CSP and FDR. It is illustrated by examples and results obtained during the verification of the Byzantine agreement protocol implementation. |
| ISBN: |
0-7695-0371-3 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~shi/papers/PRDC99.ps.gz |
| Schlagworte: |
CSP, model checking, verification, Byzantine protocol |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
03. 09. 2004 |
