Opening book details…
Can I read Regular Model Checking using Widening Techniques on EtoBox?
Regular Model Checking using Widening Techniques by Tayssir Touili is a Computer Science article available to read on EtoBox.
What is Regular Model Checking using Widening Techniques about?
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 computation of \(R^{*}(\phi)\) for a regular relation \(R\) and a regular language \(\phi\). We present a technique called regular widening that allows, when it terminates, the computation of either the reachability set \(R^{*}(\phi)\) of a system or the transitive closure \(R^{*}\) of a regular relation. We show that our method can be uniformly applied to several parametrized systems. Furthermore, we show that it is powerful enough to simulate some existing methods that compute either \(R^{*}\) or \(R^{*}(\phi)\) for each \(R\) (resp. \(\phi\) ) belonging to a subclass of regular relations (resp. belonging to a subclass of regular languages).
Who reads Regular Model Checking using Widening Techniques?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Tayssir Touili
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 2001
- Language
- EN
- Field
- Computer Science (Physical Sciences)