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
Autoři: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav -
2021
Testos-Aufover - Verifikace jako služba, software
Autoři: Fiedor Jan, Smrčka Aleš, Vašíček Ondřej, Vojnar Tomáš -
2020
ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, verze 0.4, software
Autoři: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena BohuslavOSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0, software
Autoři: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav -
2012
ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, software
Autoři: Fiedor Jan, Vojnar Tomáš -
2011
Nástroj pro řešení problému s ordinálním hodnocením alternativ, software
Autoři: Fiedor JanNástroj propojující dynamickou analýzu a bounded model checking, software
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš -
2010
Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar TomášNástroj pro verifikaci systémů popsaných formalismem Modechart, software
Autoři: Gach Marek, Fiedor Jan, Češka MilanNástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software
Autoři: Fiedor Jan, Gach Marek, Češka Milan