@inproceedings{a7a4b7d976074a33a3488c94dc76face,
title = "Verification of distributed real-time and fault-tolerant protocols",
abstract = "An assertional method to verify distributed real-time and fault-tolerant protocols is presented. To obtain mechanical support, the verification system PVS is used. General PVS theories are developed to deal with timing and failures. As a characteristic example, we verify a processor-group membership protocol, dealing with a dynamically changing network of processors and reasoning in terms of local clocks. Further we show some basic theories for the verification of the underlying synchronous atomic broadcast service.",
author = "J.J.M. Hooman",
year = "1997",
doi = "10.1007/BFb0000476",
language = "English",
isbn = "3-540-63888-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "261--275",
editor = "M. Johnson",
booktitle = "Algebraic Methodology and Software Technology (Proceedings 6th International Conference, AMAST'97, Sydney, Australia, December 13-17, 1997)",
address = "Germany",
}