✦ LIBER ✦

Model checking LTL with regular valuations for pushdown systems

✍ Scribed by Javier Esparza; Antonı́n Kučera; Stefan Schwoon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On decidability of LTL model checking fo

✍ Laura Bozzelli; Mojmír Křetínský; Vojtěch Řehák; Jan Strejček 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 578 KB

Model Checking for Combined Logics with

✍ Massimo Franceschet; Angelo Montanari; Maarten de Rijke 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 229 KB

Model checking for general linear error-

✍ Pengjie Dai; Zhihua Sun; Peng Wang 📂 Article 📅 2010 🏛 Academy of Mathematics and Systems Science, Chines 🌐 English ⚖ 209 KB

[IEEE 2011 18th IEEE International Confe

✍ Lin, Hsin-Hung; Aoki, Toshiaki; Katayama, Takuya 📂 Article 📅 2011 🏛 IEEE ⚖ 334 KB

[IEEE 2011 IEEE 13th International Sympo

✍ Dhaussy, Philippe; Roger, Jean-Charles; Boniol, Frederic 📂 Article 📅 2011 🏛 IEEE ⚖ 610 KB