A lightweight regular model checking approach for parameterized systems
2012 (English)In: International Journal on Software Tools for Technology Transfer (STTT), ISSN 1433-2779, Vol. 14, no 2, 207-222 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
Springer-Verlag New York, 2012. Vol. 14, no 2, 207-222 p.
Parameterized systems, Abstraction, Regular model checking
IdentifiersURN: urn:nbn:se:liu:diva-117910DOI: 10.1007/s10009-011-0213-yOAI: oai:DiVA.org:liu-117910DiVA: diva2:811886