Other Results
-
2011
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, report, 2011
Authors: DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. -
2010
A Uniform Classification of Common Concurrency Errors, report, 2010
Authors: FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.