Detail publikace

Counterexample Validation and Interpolation-Based Refinement for Forest Automata

HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. Brno: Faculty of Information Technology BUT, 2017. p. 1-23.
Název česky
Ověřování protipříkladů a zjemňovaní abstrakce založené na interpolantech pro lesní automaty
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

program analysis, shape analysis, counterexample validation, abstraction refinement, forest automata, tree automata

Abstrakt

Práce se zabývá návrhem technik pro ověřování protipříkladů a zjemňovaní abstrakce založené na interpolantech pro lesní automaty. Techniky byly implementovány v nástroji Forester a experimentálně vyhodnoceny se slibnými výsledky. http://www.fit.vutbr.cz/~lengal/pub/FIT-TR-2016-03.pdf

Rok
2017
Strany
1–23
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@techreport{BUT170108,
  author="Martin {Hruška} and Lukáš {Holík} and Ondřej {Lengál} and Adam {Rogalewicz} and Tomáš {Vojnar}",
  title="Counterexample Validation and Interpolation-Based Refinement for Forest Automata",
  year="2017",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  pages="1--23"
}
Nahoru