Detail publikace

Verification of String Programs via Automata

VARGOVČÍK, P.; HOLÍK, L. Verification of String Programs via Automata. PEFnet 2019 Extended Abstracts. Brno: Mendel University in Brno, 2019. p. 155-156. ISBN: 978-80-7509-692-0.
Název česky
Verifikace programů s řetězci za pomocí automatů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vargovčík Pavol, Ing. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
URL
Klíčová slova

string solving, automaton, model checking, formal verification

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
ISBN
978-80-7509-692-0
Vydavatel
Mendel University in Brno
Místo
Brno
BibTeX 
@inproceedings{BUT162446,
  author="Pavol {Vargovčík} and Lukáš {Holík}",
  title="Verification of String Programs via Automata",
  booktitle="PEFnet 2019 Extended Abstracts",
  year="2019",
  pages="155--156",
  publisher="Mendel University in Brno",
  address="Brno",
  isbn="978-80-7509-692-0",
  url="https://pefnet.mendelu.cz/wcd/w-rek-pefnet/pefnet19-extended_abstracts_web.pdf"
}
Nahoru