✦ LIBER ✦

Directed explicit-state model checking in the validation of communication protocols

✍ Scribed by Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fighting livelock in the GNU i-protocol:

✍ Yifei Dong; Xiaoqun Du; Gerard J. Holzmann; Scott A. Smolka 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 501 KB

Decision protocol for checking robustnes

✍ J. M. Bosque-Sendra; M. Nechar; L. Cuadros Rodríguez 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 121 KB

Explicit examples of dissipative systems

✍ Y. Salama; N. Gisin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 491 KB

Probabilistic Model Checking of Deadline

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

Preliminary report on reliability and va

✍ Eros Ramos De Souza; Bernard Lubin; Rod Van Whitlock 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB 👁 2 views

A model for unsteady-state gas flow in t

✍ John F. Siau 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 227 KB