Detail publikace
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking
DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. FIT-TR-2011-06, Brno: Fakulta informačních technologií VUT v Brně, 2011.
Název česky
DA-BMC: Nástroj propojující dynamickou analýzu a bounded model checking
Typ
technická zpráva
Jazyk
angličtina
Autoři
Dudka Vendula, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Rok
2011
Strany
9
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
FIT-TR-2011-06, Brno, CZ
BibTeX
@TECHREPORT{FITPUB9780, author = "Vendula Dudka and Jan Fiedor and Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar", title = "DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking", pages = 9, year = 2011, location = "FIT-TR-2011-06, Brno, CZ", publisher = "Faculty of Information Technology BUT", language = "english", url = "https://www.fit.vut.cz/research/publication/9780" }