Detail publikace

Regular Model Checking Using Inference of Regular Languages

HABERMEHL, P.; VOJNAR, T. Regular Model Checking Using Inference of Regular Languages. Proceedings of 6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004. London: 2004. p. 61-71.
Název česky
Regulární model checking založený na učení jazyků
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Habermehl Peter
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
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
2004
Strany
61–71
Sborník
Proceedings of 6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004
Místo
London
BibTeX 
@inproceedings{BUT192526,
  author="Peter {Habermehl} and Tomáš {Vojnar}",
  title="Regular Model Checking Using Inference of Regular Languages",
  booktitle="Proceedings of 6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004",
  year="2004",
  pages="61--71",
  address="London"
}
Nahoru