✦ LIBER ✦

Symbolic model checking for self-stabilizing algorithms

✍ Scribed by T. Tsuchiya; S. Nagano; R. Paidi; T. Kikuno

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards scalable model checking of self-

✍ Chen, Jingshu; Abujarad, Fuad; Kulkarni, Sandeep 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 653 KB

Optimizing symbolic model checking for s

✍ Chan, W.; Anderson, R.J.; Beame, P.; Jones, D.H.; Notkin, D.; Warner, W.E. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 504 KB

CSL model checking algorithms for QBDs

✍ Anne Remke; Boudewijn R. Haverkort; Lucia Cloth 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 814 KB

Studies on algorithms for self-stabilizi

✍ Layuan Li; Chunlin Li 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 674 KB

Two-state self-stabilizing algorithms fo

✍ Flatebo, M.; Datta, A.K. 📂 Article 📅 1994 🏛 IEEE 🌐 English ⚖ 485 KB

Symbolic model checking of UML activity

✍ Eshuis, Rik 📂 Article 📅 2006 🏛 Association for Computing Machinery 🌐 English ⚖ 515 KB