Detail publikace

Abstract Regular Model Checking

BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Abstract Regular Model Checking. Lecture Notes in Computer Science, roč. 2004, č. 3114, s. 372-386. ISSN 0302-9743.
Název česky
Abstraktní regulární model checking
Typ
článek v časopise
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Habermehl Peter (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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, DE
DOI
10.1007/978-3-540-27813-9_29
EID Scopus
2-s2.0-35048901593
BibTeX 
@ARTICLE{FITPUB7410,
   author = "Ahmed Bouajjani and Peter Habermehl and Tom\'{a}\v{s} Vojnar",
   title = "Abstract Regular Model Checking",
   pages = "372--386",
   booktitle = "Computer Aided Verification",
   journal = "Lecture Notes in Computer Science",
   volume = 2004,
   number = 3114,
   year = 2004,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-540-27813-9\_29",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7410"
}
Nahoru