Produkty
-
2022
Unite: Adaptér pro zpřístupnění nástrojů pro analýzu softwaru přes webové služby s využitím OSLC, Verze 3.0, software, 2022
Autoři: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B. -
2021
Testos-Aufover - Verifikace jako služba, software, 2021
Autoři: SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T. -
2020
ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, verze 0.4, software, 2020
Autoři: FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.OSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0, software, 2020
Autoři: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B. -
2012
ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, software, 2012
Autoři: FIEDOR, J.; VOJNAR, T. -
2011
Nástroj pro řešení problému s ordinálním hodnocením alternativ, software, 2011
Autoři: FIEDOR, J.Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
Autoři: DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B. -
2010
Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
Autoři: DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.Nástroj pro verifikaci systémů popsaných formalismem Modechart, software, 2010
Autoři: GACH, M.; FIEDOR, J.; ČEŠKA, M.Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
Autoři: FIEDOR, J.; GACH, M.; ČEŠKA, M.