Formal specification and verification of a network independent
atomic multicast protocol
M. Baptista, L. Rodrigues, P. Veríssimo, S. Graf, J.L. Richier,
C. Rodriguez, and J. Voiron
From "Formal Description Techniques", III, pages 345-352, J. Quemada,
J. Mañas, and E. Vazques, editors, 1991, North-Holland.
Research on formal description techniques during the last years has
revealed new trends on the description of distributed systems.
Nevertheless, the application of these techniques to real and complex
systems is not straightforward and there are not many case studies in
This paper presents an experience in protocol building area, by
involving a close interaction between protocol design and formal
verification, and shows off its application in the design of a real
distributed system: a network independent atomic multicast protocol.
Also available as
INESC AR/64-91 (gzip postscript).