✦ LIBER ✦

Verification of progress property of algebraically specified communication protocols

✍ Scribed by Teruo Higashino; Ken'Ichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of safeness and mutual excl

✍ Teruo Higashino; Mamoru Fujii; Ken'Ichi Taniguchi; Tadao Kasami; Masaaki Mori 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 921 KB

Verification of Estelle-Specified Commun

✍ V. A. Nepomniaschy; G. I. Alekseev; A. V. Bystrov; S. P. Myl'nikov; E. V. Okunis 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 78 KB

Modeling and verification of the SDL-spe

✍ V. A. Nepomniaschy; V. S. Argirov; D. M. Beloglazov; A. V. Bystrov; E. A. Chetve 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 213 KB

Formal verification of secure group comm

✍ P. de Saqui-Sannes; T. Villemur; B. Fontan; S. Mota; M. S. Bouassida; N. Chridi; 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 647 KB

Symbolic Verification of Communication P

✍ Bernard Boigelot; Patrice Godefroid 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 131 KB

Formal techniques for the specification,

✍ Tat Choi 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 643 KB