✦ LIBER ✦

Formula-Dependent Equivalence for Compositional CTL Model Checking

✍ Scribed by Adnan Aziz; Thomas Shiple; Vigyan Singhal; Robert Brayton; Alberto Sangiovanni-Vincentelli

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compositional encoding for bounded model

✍ Sun, Jun ;Liu, Yang ;Dong, Jin Song ;Sun, Jing 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 260 KB

Parallel Model Checking for LTL, CTL∗, a

✍ Martin Leucker; Rafal Somla; Michael Weber 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 190 KB

Improved Bounded Model Checking for the

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

DP lower bounds for equivalence-checking

✍ Petr Jančar; Antonı́n Kučera; Faron Moller; Zdeněk Sawa 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 304 KB

Improving state class constructions for

✍ Rachid Hadjidj; Hanifa Boucheneb 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 725 KB

The complexity of model checking for cir

✍ Marco Cadoli 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 556 KB