✦ LIBER ✦

Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV

✍ Scribed by Viktor Schuppan; Armin Biere

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Tree Identify Protocol of IEEE 1394

✍ Carron Shankland; Mark van der Zwaag 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 163 KB

IEEE 1394 Tree Identify Protocol: Introd

✍ He Jifeng; Xu Qiwen 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 171 KB

Specification and Verification of the Tr

✍ Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 168 KB

Using SPIN to Analyse the Tree Identific

✍ M. Calder; A. Miller 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 182 KB

Verification of the Link layer protocol

✍ Mihaela Sighireanu; Radu Mateescu 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 433 KB

Fun with FireWire: A Comparative Study o

✍ Mariëlle Stoelinga 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 113 KB