✦ LIBER ✦

Extrapolating (omega-)regular model checking

✍ Scribed by Axel Legay

Book ID: 113053813
Publisher: Springer
Year: 2011
Tongue: English
Weight: 786 KB
Volume: 14
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-011-0209-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Regular model checking

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

Abstract regular (tree) model checking

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

Abstract Regular Tree Model Checking

✍ Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomáš Vojnar 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 253 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

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