IEEE 1394 Tree Identify Protocol: Introduction to the Case Study Savi MaharajJudi RomijnCarron Shankland Original Paper Pages: 200 - 214
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol Jean-Raymond AbrialDominique CansellDominique Méry Original Paper Pages: 215 - 227
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic Alberto VerdejoIsabel PitaNarciso Martí-Oliet Original Paper Pages: 228 - 246
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol M. CalderA. Miller Original Paper Pages: 247 - 266
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV Viktor SchuppanArmin Biere Original Paper Pages: 267 - 280
But What if I Don't Want to Wait Forever? Colin FidgeCarron Shankland Original Paper Pages: 281 - 294
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol Marta KwiatkowskaGethin NormanJeremy Sproston Original Paper Pages: 295 - 318
False Loop Detection in the IEEE 1394 Tree Identify Phase Judi Romijn Original Paper Pages: 319 - 327
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol Mariëlle Stoelinga Original Paper Pages: 328 - 337