✦ LIBER ✦

Partial-Order Reduction in Symbolic State-Space Exploration

✍ Scribed by R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

State space reduction using partial orde

✍ E.M. Clarke; O. Grumberg; M. Minea; D. Peled 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 182 KB

Partial-order reduction for general stat

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

Symbolic state-space exploration and num

✍ Salem Derisavi; Peter Kemper; William H. Sanders 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 365 KB

Interactively exploring elimination orde

✍ Michael Lülfesmann; Simon R. Leßenich; H. Martin Bücker 📂 Article 📅 2010 🏛 Elsevier 🌐 English ⚖ 360 KB

Disjointness in Partially Ordered Vector

✍ Onno Van Gaans; Anke Kalauch 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 139 KB

Roundings in partially ordered topologic

✍ A. L. Kryukova 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 110 KB