✦ LIBER ✦

Partial order reductions for failures refinement

✍ Scribed by Heike Wehrheim

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial Order Reduction for Probabilisti

✍ Christel Baier; Pedro D'Argenio; Marcus Groesser 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 432 KB

Cluster-Based Partial-Order Reduction

✍ Twan Basten; Dragan Bošnački; Marc Geilen 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 315 KB

Efficient verification of security proto

✍ Edmund Clarke; Somesh Jha; Will Marrero 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 297 KB

Partial-order reduction for general stat

✍ Dragan Bošnački; Stefan Leue; Alberto Lluch Lafuente 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 418 KB

Solving the ignoring problem for partial

✍ Sami Evangelista; Christophe Pajault 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 720 KB

Relaxed Visibility Enhances Partial Orde

✍ Doron Peled; Antti Valmari; Ilkka Kokkarinen 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 111 KB