✦ LIBER ✦

Efficient CTL model-checking for pushdown systems

✍ Scribed by Song, Fu; Touili, Tayssir

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Budget-bounded model-checking pushdown s

✍ Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari 📂 Article 📅 2014 🏛 Springer 🌐 English ⚖ 1004 KB

Model checking probabilistic systems aga

✍ Clemens Dubslaff; Christel Baier; Manuela Berg 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Model checking LTL with regular valuatio

✍ Javier Esparza; Antonı́n Kučera; Stefan Schwoon 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 212 KB

A Direct Symbolic Approach to Model Chec

✍ Alain Finkel; Bernard Willems; Pierre Wolper 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Efficient timed model checking for discr

✍ F. Laroussinie; N. Markey; Ph. Schnoebelen 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 370 KB

Formula-Dependent Equivalence for Compos

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