Protocol Verification by Aggregation of Distributed Transactions (1996)
by
Seungjoon Park
,
David L. Dill
| Venue: | In CAV |
| Citations: | 13 - 3 self |
BibTeX
@INPROCEEDINGS{Park96protocolverification,
author = {Seungjoon Park and David L. Dill},
title = {Protocol Verification by Aggregation of Distributed Transactions},
booktitle = {In CAV},
year = {1996},
pages = {300--310},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a new approach for using a theorem-prover to verify the correctness of protocols and distributed algorithms. The method compares a state graph of the implementation with a specification which is a state graph representing the desired abstract behavior. The steps in the specification correspond to atomic transactions, which are not atomic in the implementation.
Citations
No citations identified.
