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 modelcheckingu, což je generická metoda pro verifikaci nekonečně stavových aparametrických systémů. Navržená metoda je založena na učeníregulárních jazyků ze vzorků. Metoda byla experimentálně ověřena avykazuje velmi pěkné výkonnostní charakteristiky. Co je ale ještě vícezajímavé, je to, že tato metoda zaručuje konečnost výpočtu ve všechpří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
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