Detail publikace

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking

DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7186, p. 1-5. ISSN: 0302-9743.
Název česky
DA-BMC: Nástroj kombinující dynamickou analýzu a omezený model checking
Typ
článek v časopise
Jazyk
anglicky
Autoři
Dudka Vendula, Ing.
Fiedor Jan, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

dynamic analysis, bounded model checking, tool support

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
1–5
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 7186, ISSN 0302-9743
BibTeX 
@article{BUT91449,
  author="Vendula {Dudka} and Jan {Fiedor} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="7186",
  pages="1--5",
  issn="0302-9743",
  url="http://www.springerlink.com/content/l436655534440046/"
}
Nahoru