Sökning: L773:1433 2779 OR L773:1433 2787 >
A lightweight regul...
A lightweight regular model checking approach for parameterized systems
-
- Delzanno, Giorgio (författare)
- Università di Genova
-
- Rezine, Ahmed (författare)
- Linköpings universitet,Programvara och system,Tekniska högskolan
-
(creator_code:org_t)
- 2011-08-27
- 2012
- Engelska.
-
Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer-Verlag New York. - 1433-2779 .- 1433-2787. ; 14:2, s. 207-222
- Relaterad länk:
-
http://link.springer...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In recent years, we have designed a lightweight approach to regular model checking specifically designed for parameterized systems with global conditions. Our approach combines the strength of regular languages, used for representing infinite sets of configurations, with symbolic model checking and approximations. In this paper, we give a uniform presentation of several variations of a symbolic backward reachability scheme in which different classes of regular expressions are used in place of BDDs. The classification of the proposed methods is based on the precision of the resulting approximated analysis.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Parameterized systems
- Abstraction
- Regular model checking
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas