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