Detail publikace

Regular Model Checking Using Inference of Regular Languages

HABERMEHL Peter a VOJNAR Tomáš. Regular Model Checking Using Inference of Regular Languages. In: Proceedings of 6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004. London, 2004, s. 61-71.
Název česky
Regulární model checking založený na učení jazyků
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Habermehl Peter (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
2004
Strany
61-71
Sborník
Proceedings of 6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004
Konference
6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004, a satellite workshop of 15th International Conference on Concurrency Theory -- CONCUR 2004, Londýn, GB
Místo
London, GB
BibTeX 
@INPROCEEDINGS{FITPUB7616,
   author = "Peter Habermehl and Tom\'{a}\v{s} Vojnar",
   title = "Regular Model Checking Using Inference of Regular Languages",
   pages = "61--71",
   booktitle = "Proceedings of 6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004",
   year = 2004,
   location = "London, GB",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7616"
}
Nahoru