Skip to main content
Article thumbnail
Location of Repository

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus(FireWire)Protocol

By M. Calder and A. Miller


We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed

Topics: QA75
Publisher: Springer London
Year: 2003
OAI identifier:
Provided by: Enlighten

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.