| Publication type: |
Article in Proceedings |
| Author: |
H. Shi, J. Peleska, M. Kouvaras |
| Editor: |
Bob Werner |
| Title: |
Combining Methods for the Analysis of a Fault-Tolerant System |
| Book / Collection title: |
Proceedings of 1999 Pacific Rim International Sympositum on Dependable Computing |
| Page(s): |
135 – 142 |
| Series: |
IEEE |
| Number: |
PR00371 |
| Year published: |
2000 |
| Publisher: |
IEEE Computer Society, 10662 Los Vaqueros Circle, P.O.Box 3014, Los Alamitos, CA 90720-1314, USA |
| Abstract: |
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 |
| Keywords: |
CSP, model checking, verification, Byzantine protocol |
| Status: |
Reviewed |
| Last updated: |
03. 09. 2004 |
