✦ LIBER ✦

Abstract Regular Tree Model Checking

✍ Scribed by Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomáš Vojnar

Book ID: 108126603
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 253 KB
Volume: 149
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.11.015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abstract regular (tree) model checking

✍ Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomáš Vojnar 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 861 KB

Widening techniques for regular tree mod

Widening techniques for regular tree model checking

✍ Ahmed Bouajjani; Tayssir Touili 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 539 KB

Tree regular model checking: A simulatio

Tree regular model checking: A simulation-based approach

✍ Parosh Aziz Abdulla; Axel Legay; Julien d’Orso; Ahmed Rezine 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 319 KB

Regular model checking

✍ Parosh Aziz Abdulla 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 474 KB

Extrapolating (omega-)regular model chec

Extrapolating (omega-)regular model checking

✍ Axel Legay 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 786 KB

Regular Model Checking using Widening Te

Regular Model Checking using Widening Techniques

✍ Tayssir Touili 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 305 KB

In this paper, we consider symbolic model checking of safety properties of linear parametrized systems. Sets of configurations are represented by regular languages and actions by regular relations. Since the verification problem amounts to the computation of the reachability set, we focus on the com