liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A lightweight regular model checking approach for parameterized systems
Università di Genova.
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
2012 (engelsk)Inngår i: International Journal on Software Tools for Technology Transfer (STTT), ISSN 1433-2779, E-ISSN 1433-2787, Vol. 14, nr 2, s. 207-222Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

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.

sted, utgiver, år, opplag, sider
Springer-Verlag New York, 2012. Vol. 14, nr 2, s. 207-222
Emneord [en]
Parameterized systems, Abstraction, Regular model checking
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-117910DOI: 10.1007/s10009-011-0213-yOAI: oai:DiVA.org:liu-117910DiVA, id: diva2:811886
Tilgjengelig fra: 2015-05-13 Laget: 2015-05-13 Sist oppdatert: 2018-01-11

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fullteksthttp://link.springer.com/article/10.1007/s10009-011-0213-y

Personposter BETA

Rezine, Ahmed

Søk i DiVA

Av forfatter/redaktør
Rezine, Ahmed
Av organisasjonen
I samme tidsskrift
International Journal on Software Tools for Technology Transfer (STTT)

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 60 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf