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. Lecture Notes in Computer Science, roč. 2012, č. 7186, s. 5. ISSN 0302-9743. Dostupné z: http://www.springerlink.com/content/l436655534440046/
Název česky
DA-BMC: Nástroj kombinující dynamickou analýzu a omezený model checking
Typ
článek v časopise
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
Abstrakt
Článek představuje DA-BMC, což je nástroj, který kombinuje dynamickou analýzu a omezený model checking s cílem zkombinovat jejich výhody a potlačit jejich nevýhody.
Rok
2012
Strany
5
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 7186, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX
@ARTICLE{FITPUB9726, 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 = 5, journal = "Lecture Notes in Computer Science", volume = 2012, number = 7186, year = 2012, ISSN = "0302-9743", language = "english", url = "https://www.fit.vut.cz/research/publication/9726" }