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
Hruška Martin, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (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)
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