✦ LIBER ✦

Model checking probabilistic systems against pushdown specifications

✍ Scribed by Clemens Dubslaff; Christel Baier; Manuela Berg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Probabilistic model checking of biologic

✍ Roberto Barbuti; Francesca Levi; Paolo Milazzo; Guido Scatena 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 825 KB

Model checking MASL specification of dis

✍ D. Yu. Bugaichenko 📂 Article 📅 2007 🏛 Allerton Press, Inc. 🌐 English ⚖ 238 KB

Specification of models in large expert

✍ Kristian G. Olesen; Steen Andreassen 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Dynamic Power Management of a System Wit

✍ Sesic, A.; Dautovic, S.; Malbasa, V. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 165 KB