✦ LIBER ✦

Compositional encoding for bounded model checking

✍ Scribed by Sun, Jun ;Liu, Yang ;Dong, Jin Song ;Sun, Jing

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded Model Checking of CTL

✍ Zhi-Hong Tao; Cong-Hua Zhou; Zhong Chen; Li-Fu Wang 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 337 KB

Formula-Dependent Equivalence for Compos

✍ Adnan Aziz; Thomas Shiple; Vigyan Singhal; Robert Brayton; Alberto Sangiovanni-V 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 226 KB

Bounded model checking for knowledge and

✍ Alessio Lomuscio; Wojciech Penczek; Bożena Woźna 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Bounded Model Checking Using Satisfiabil

✍ Edmund Clarke; Armin Biere; Richard Raimi; Yunshan Zhu 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 149 KB

Computational challenges in bounded mode

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

Distributed Explicit Bounded LTL Model C

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