✦ LIBER ✦

Bounded Model Checking of CTL

✍ Scribed by Zhi-Hong Tao; Cong-Hua Zhou; Zhong Chen; Li-Fu Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improved Bounded Model Checking for the

✍ Liang Xu; Wei Chen; Yan-Yan Xu; Wen-Hui Zhang 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 515 KB

Local Distributed Model Checking of Reg

✍ Tomáš Brázdil; Ivana Černá 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 206 KB

Using Assumptions to Distribute CTL Mode

✍ Luboš Brim; Jitka Crhová; Karen Yorav 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 216 KB

Practical CTL*model checking: Should SPI

✍ Willem Visser; Howard Barringer 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 333 KB

Distributed Explicit Bounded LTL Model C

✍ Pavel Krčál 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 198 KB

Computational challenges in bounded mode

✍ Edmund Clarke; Daniel Kroening; Joël Ouaknine; Ofer Strichman 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 343 KB