✦ LIBER ✦

Model-checking Timed Temporal Logics

✍ Scribed by Patricia Bouyer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fully Symbolic Unbounded Model Checking

✍ Magdalena Kacprzak; Wojciech Penczek 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 395 KB

Checking Temporal Duration Properties of

✍ Yong Li; Hung Van Dang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 748 KB

∞-Regular temporal logic and its model c

✍ Kiyoharu Hamaguchi; Hiromi Hiraishi; Shuzo Yajima 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 888 KB

Model checking for action-based logics

✍ Alessandro Fantechi; Stefania Gnesi; Gioia Ristori 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 813 KB

Weighted Timed Automata: Model-Checking

✍ Patricia Bouyer 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 283 KB

A Sat-Based Approach to Unbounded Model

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