𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Regular model checking

✍ Scribed by Parosh Aziz Abdulla

Book ID
113053816
Publisher
Springer
Year
2011
Tongue
English
Weight
474 KB
Volume
14
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Abstract regular (tree) model checking
Abstract regular (tree) model checking
✍ Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; TomΓ‘Ε‘ Vojnar πŸ“‚ Article πŸ“… 2011 πŸ› Springer 🌐 English βš– 861 KB
Abstract Regular Tree Model Checking
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