✦ LIBER ✦

Simulation refinement for concurrency verification

✍ Scribed by Wim H. Hesselink

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

System verification using multilevel con

✍ Lentz, K.P.; Heller, J.; Montessoro, P.L. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 95 KB

Verification and refinement with fine-gr

✍ Emil Sekerinski 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Ready simulation for concurrency: It’s l

✍ Gerald Lüttgen; Walter Vogler 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 590 KB

Automated Interface Refinement for Compo

✍ Haiqiong Yao; Hao Zheng 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 352 KB

An action refinement operator for E-LOTO

✍ M. Kapus-Kolar 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 280 KB

Automatic and hierarchical verification

✍ Xudong Zhao; Yulin Feng 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 433 KB