Detail publikace

Counterexample Validation and Interpolation-Based Refinement for Forest Automata

HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam a VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Lecture Notes in Computer Science, roč. 10145. Cham: Springer Verlag, 2017, s. 288-309. ISBN 978-3-319-52234-0. ISSN 0302-9743. Dostupné z: http://link.springer.com/chapter/10.1007/978-3-319-52234-0_16
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
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
Konference
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)/Symposium on Principles of Programming Languages (POPL 2017), Paříž, FR
ISBN
978-3-319-52234-0
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
10.1007/978-3-319-52234-0_16
UT WoS
000413069800016
EID Scopus
2-s2.0-85010702893
BibTeX 
@INPROCEEDINGS{FITPUB11300,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Martin Hru\v{s}ka and Ond\v{r}ej Leng\'{a}l and Adam Rogalewicz and Tom\'{a}\v{s} Vojnar",
   title = "Counterexample Validation and Interpolation-Based Refinement for Forest Automata",
   pages = "288--309",
   booktitle = "Proceedings of VMCAI'17",
   series = "Lecture Notes in Computer Science",
   journal = "Lecture Notes in Computer Science",
   volume = 10145,
   year = 2017,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-52234-0",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-319-52234-0\_16",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11300"
}
Nahoru