✦ LIBER ✦

Abstract regular (tree) model checking

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

Book ID: 113053810
Publisher: Springer
Year: 2011
Tongue: English
Weight: 861 KB
Volume: 14
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-011-0205-y

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 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 253 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