Abstract.
The IEEE 1394 Root Contention Protocol is an industrial leader election algorithm for two processes in which probability, real time and parameters play an important role. This protocol has been analysed in various case studies, using a variety of verification and analysis methods. In this paper, we survey and compare several of these case studies.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received September 2001/Accepted in revised form September 2001
Correspondence and offprint requests to: Mariëlle Stoelinga, Department of Computer Engineering, University of California at Santa Cruz, CA 95064, USA. Email: marielle@cse.ucsc.edu
Rights and permissions
About this article
Cite this article
Stoelinga, M. Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. Form Aspects Comput 14, 328–337 (2003). https://doi.org/10.1007/s001650300009
Issue Date:
DOI: https://doi.org/10.1007/s001650300009