✦ LIBER ✦

Accelerating Bounded Model Checking of Safety Properties

✍ Scribed by Ofer Strichman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Checking of Safety Properties

✍ Orna Kupferman; Moshe Y. Vardi 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 177 KB

Efficient model checking of PSL safety p

✍ Launiainen, T.; Heljanko, K.; Junttila, T. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 406 KB

Bounded Model Checking of CTL

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

Statistical probabilistic model checking

✍ Håkan L.S. Younes; Reid G. Simmons 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 606 KB

Exact Acceleration of Real-Time Model Ch

✍ Martijn Hendriks; Kim G. Larsen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Improved Bounded Model Checking for the

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