Detail publikace

Verification of String Programs via Automata

HOLÍK Lukáš a VARGOVČÍK Pavol. Verification of String Programs via Automata. In: PEFnet 2019 Extended Abstracts. Brno: Mendelova univerzita v Brně, 2019, s. 155-156. ISBN 978-80-7509-692-0. Dostupné z: https://pefnet.mendelu.cz/wcd/w-rek-pefnet/pefnet19-extended_abstracts_web.pdf
Název česky
Verifikace programů s řetězci za pomocí automatů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Vargovčík Pavol, Ing. (UITS FIT VUT)
URL
Abstrakt

Článek pojednává o verifikace programů s řetězci za pomocí automatů. Hlavní myšlenkou je optimalizace stávajících metod založených na konečných automatech pomocí výpočtu Parikhova obrazu jazyků.

Rok
2019
Strany
155-156
Sborník
PEFnet 2019 Extended Abstracts
Konference
23rd European Scientific Conference of Doctoral Students, Brno, CZ
ISBN
978-80-7509-692-0
Vydavatel
Mendelova univerzita v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB12186,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Pavol Vargov\v{c}\'{i}k",
   title = "Verification of String Programs via Automata",
   pages = "155--156",
   booktitle = "PEFnet 2019 Extended Abstracts",
   year = 2019,
   location = "Brno, CZ",
   publisher = "Mendel University in Brno",
   ISBN = "978-80-7509-692-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12186"
}
Nahoru