Specification and Design of the Leader Election Protocol of IEEE 1394
J.R. Abrial, D. Cansell, and D. Mery Download postscript for this abstract. |
Using SPIN to Analyse the FireWire Protocol - a Case Study
M. Calder and A. Miller Download postscript for this abstract. |
But what if I don't want to wait forever?
C. Fidge and C. Shankland Download postscript for this abstract. |
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire
Root Contention Protocol
M. Kwiatkowska, G Norman, J. Sproston Download postscript for this abstract. |
False loop detection in the IEEE 1394 Tree Identify Phase
J. Romijn Download postscript for this abstract. |
Net Update for IEEE P1394.1 Bus Bridges
J. Romijn Download pdf for this abstract. |
A Simple Verification of the Tree Identify Protocol with SMV
V. Schuppan and A. Biere Download pdf for this abstract. |
Fun with FireWire: Experiences with Verifying the IEEE 1394 Root Contention
Protocol
M. Stoelinga See the abstract. |
Specification and Verification of the Leader Election Protocol of IEEE 1394 in
Rewriting Logic
A. Verdejo, I. Pita, and N. Marti-Oliet Download postscript for this abstract. |