✦ LIBER ✦

Budget-bounded model-checking pushdown systems

✍ Scribed by Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking probabilistic systems aga

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

Efficient CTL model-checking for pushdow

✍ Song, Fu; Touili, Tayssir 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 800 KB

Model checking LTL with regular valuatio

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

Pushdown Processes: Games and Model-Chec

✍ Igor Walukiewicz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 265 KB

A Direct Symbolic Approach to Model Chec

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

Branching-time model-checking of probabi

✍ Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 388 KB