Detail publikace

Abstract Regular Model Checking

BOUAJJANI, A.; HABERMEHL, P.; VOJNAR, T. Abstract Regular Model Checking. Lecture Notes in Computer Science, 2004, vol. 2004, no. 3114, p. 372-386. ISSN: 0302-9743.
Název česky
Abstraktní regulární model checking
Typ
článek v časopise
Jazyk
anglicky
Autoři
Bouajjani Ahmed
Habermehl Peter
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

formal verification, infinite-state and parameterized systems, regular model checking, abstraction

Abstrakt

V článku je navržen koncept originální metody symbolické verifikace využívající abstrakce nad konečnými automaty popisujícími (případně nekonečné) množiny stavů zkoumaných systémů. Abstrakce se zde projevuje slučováním stavů automatů, jež mají určitým způsobem podobné vlastnosti. Využití postupně zjemňované abstrakce zajišťuje konečnost a vysokou efektivitu výpočtu množiny dosažitelných stavů v řadě praktických případů.

Rok
2004
Strany
372–386
Časopis
Lecture Notes in Computer Science, roč. 2004, č. 3114, ISSN 0302-9743
Kniha
Computer Aided Verification
Vydavatel
Springer Verlag
Místo
Berlin
DOI
10.1007/978-3-540-27813-9_29
EID Scopus
2-s2.0-35048901593
BibTeX 
@article{BUT45718,
  author="Ahmed {Bouajjani} and Peter {Habermehl} and Tomáš {Vojnar}",
  title="Abstract Regular Model Checking",
  journal="Lecture Notes in Computer Science",
  year="2004",
  volume="2004",
  number="3114",
  pages="372--386",
  doi="10.1007/978-3-540-27813-9\{_}29",
  issn="0302-9743",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/bhv-armc-04.ps.gz"
}
Nahoru