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
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
UT WoS
000413069800016
EID Scopus
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