Detail publikace

Counterexample Validation and Interpolation-Based Refinement for Forest Automata

HOLÍK, L.; HRUŠKA, M.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In Proceedings of VMCAI'17. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer Verlag, 2017. p. 288-309. ISBN: 978-3-319-52234-0. ISSN: 0302-9743.
Název česky
Ověřování protipříkladů a zjemňovaní abstrakce založené na interpolantech pro lesní automaty
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)
Lengál Ondřej, Ing., Ph.D. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
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.

Rok
2017
Strany
288–309
Časopis
Lecture Notes in Computer Science, roč. 10145, ISSN 0302-9743
Sborník
Proceedings of VMCAI'17
Řada
Lecture Notes in Computer Science
ISBN
978-3-319-52234-0
Vydavatel
Springer Verlag
Místo
Cham
DOI
10.1007/978-3-319-52234-0_16
UT WoS
000413069800016
EID Scopus
2-s2.0-85010702893
BibTeX 
@inproceedings{BUT133502,
  author="Lukáš {Holík} and Martin {Hruška} and Ondřej {Lengál} and Adam {Rogalewicz} and Tomáš {Vojnar}",
  title="Counterexample Validation and Interpolation-Based Refinement for Forest Automata",
  booktitle="Proceedings of VMCAI'17",
  year="2017",
  series="Lecture Notes in Computer Science",
  journal="Lecture Notes in Computer Science",
  volume="10145",
  pages="288--309",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-319-52234-0\{_}16",
  isbn="978-3-319-52234-0",
  issn="0302-9743",
  url="http://link.springer.com/chapter/10.1007/978-3-319-52234-0_16"
}
Nahoru