×

zbMATH — the first resource for mathematics

The tree identify protocol of IEEE 1394 in \(\mu\)CRL. (English) Zbl 0951.68532
Summary: We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three different levels of detail using \(\mu\)CRL. We use the cones and foci verification technique of Groote and Springintveld to show that the descriptions are equivalent under branching bisimulation, thereby demonstrating that the protocol behaves as expected.

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: DOI