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
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"
}
Nahoru