Products
-
2012
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, software, 2012
Authors: FIEDOR, J.; VOJNAR, T. -
2011
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.OCRP Solver: A Tool for Solving the OCRP Problem, software, 2011
Authors: FIEDOR, J. -
2010
Replay Tracer & BMC, software, 2010
Authors: DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.Tool for verification of systems described using the Modechart formalism, software, 2010
Authors: GACH, M.; FIEDOR, J.; ČEŠKA, M.Tool for verification of systems specified in RT-Logic language, software, 2010
Authors: FIEDOR, J.; GACH, M.; ČEŠKA, M.