Detail publikace

Regular Model Checking Using Inference of Regular Languages

HABERMEHL, P., VOJNAR, T. Regular Model Checking Using Inference of Regular Languages. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, vol. 138, no. 3, p. 21-36. ISSN: 1571-0661.
Název česky
Regulární model checking založený na učení jazyků
Typ
článek v časopise
Jazyk
anglicky
Autoři
Habermehl Peter
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

formal verification, model checking, parametric systems, infinite-state systems, automata theory, inference of regular languages

Abstrakt

článek presentuje originální přístup k implemetaci regulárního model checkingu, což je generická metoda pro verifikaci nekonečně stavových a parametrických systémů. Navržená metoda je založena na učení regulárních jazyků ze vzorků. Metoda byla experimentálně ověřena a vykazuje velmi pěkné výkonnostní charakteristiky. Co je ale ještě více zajímavé, je to, že tato metoda zaručuje konečnost výpočtu ve všech případech, kdy zkoumaný systém ma regulární stavový prostor.

Rok
2005
Strany
21–36
Časopis
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, roč. 138, č. 3, ISSN 1571-0661
Kniha
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY 2004)
BibTeX 
@article{BUT45074,
  author="Peter {Habermehl} and Tomáš {Vojnar}",
  title="Regular Model Checking Using Inference of Regular Languages",
  journal="ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE",
  year="2005",
  volume="138",
  number="3",
  pages="21--36",
  issn="1571-0661",
  url="http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1-4HTK6GS-3-1&_cdi=13109&_user=640830&_orig=browse&_coverDate=12%2F28%2F2005&_sk=998619996&view=c&wchp=dGLbVlb-zSkWb&md5=540cbefd35764de82d5aa84e0d778934&ie=/sdarticle.pdf"
}
Nahoru