Products
-
2022
Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0, software, 2022
Authors: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B. -
2021
Testos-Aufover - Verification as a Service, software, 2021
Authors: SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T. -
2020
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4, software, 2020
Authors: FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.OSLC ANaConDA Adapter, Version 1.0, software, 2020
Authors: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B. -
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.