Detail publikace
Regular Model Checking Using Inference of Regular Languages
HABERMEHL Peter a VOJNAR Tomáš. Regular Model Checking Using Inference of Regular Languages. Electronic Notes in Theoretical Computer Science, roč. 138, č. 3, 2005, s. 21-36. ISSN 1571-0661.
Název česky
Regulární model checking založený na učení jazyků
Typ
článek v časopise
Jazyk
angličtina
Autoři
Habermehl Peter (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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)
Vydavatel
Elsevier Science
BibTeX
@ARTICLE{FITPUB7999, author = "Peter Habermehl and Tom\'{a}\v{s} Vojnar", title = "Regular Model Checking Using Inference of Regular Languages", pages = "21--36", booktitle = "Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY 2004)", journal = "Electronic Notes in Theoretical Computer Science", volume = 138, number = 3, year = 2005, ISSN = "1571-0661", language = "english", url = "https://www.fit.vut.cz/research/publication/7999" }