✦ LIBER ✦

A Partial Order Approach to Branching Time Logic Model Checking

✍ Scribed by Rob Gerth; Ruurd Kuiper; Doron Peled; Wojciech Penczek

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking for a probabilistic branc

✍ Christel Baier; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

A Partial Approach to Model Checking

✍ P. Godefroid; P. Wolper 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 1003 KB

A Sat-Based Approach to Unbounded Model

✍ M. Kacprzak; W. Penczek 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 210 KB

A scenario-matching approach to the desc

✍ Braberman, V.; Kicillof, N.; Olivero, A. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 982 KB

Modular semantics for a UML statechart d

✍ Stefania Gnesi; Diego Latella; Mieke Massink 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 403 KB

A new hybrid approach based on SARIMA an

✍ Erol Egrioglu; Cagdas Hakan Aladag; Ufuk Yolcu; Murat A. Basaran; Vedide R. Uslu 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 322 KB