Fakulta informačních technologií VUT v Brně

Detail publikace

Counterexample Validation and Interpolation-Based Refinement for Forest Automata

HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam a VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. Brno: Fakulta informačních technologií VUT v Brně, 2017.
Název česky
Ověřování protipříkladů a zjemňovaní abstrakce založené na interpolantech pro lesní automaty
Typ
technická zpráva
Jazyk
angličtina
Autoři
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
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX
@TECHREPORT{FITPUB11342,
   author = "Martin Hru\v{s}ka and Luk\'{a}\v{s} Hol\'{i}k 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 = "1--23",
   year = 2017,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11342"
}
Nahoru