✦ LIBER ✦

On model-checking timed automata with stopwatch observers

✍ Scribed by Thomas Brihaye; Véronique Bruyère; Jean-François Raskin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linear parametric model checking of time

✍ Thomas Hune; Judi Romijn; Mariëlle Stoelinga; Frits Vaandrager 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Weighted Timed Automata: Model-Checking

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

Model checking on timed-event structures

✍ Dasgupta, P.; Deka, J.K.; Chakrabarti, P.P. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 260 KB

Bounded Model Checking with SNF, Alterna

✍ Daniel Sheridan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

A Model of Finite Automata on Timed ω-Tr

✍ Salvatore La Torre; Margherita Napoli 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 189 KB

DP lower bounds for equivalence-checking

✍ Petr Jančar; Antonı́n Kučera; Faron Moller; Zdeněk Sawa 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 304 KB