✦ LIBER ✦

Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k

✍ Scribed by David P.L. Simons; Mariëlle I.A. Stoelinga

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic Verification of the IEEE-1394

✍ Conrado Daws; Marta Kwiatkowska; Gethin Norman 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Fun with FireWire: A Comparative Study o

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

Probabilistic Model Checking of Deadline

✍ Marta Kwiatkowska; Gethin Norman; Jeremy Sproston 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 256 KB

Proved development of the real-time prop

✍ Joris Rehm 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 393 KB