Jan Fiedor

Products

• 2022

  Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0, software
  Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

• 2021

  Testos-Aufover - Verification as a Service, software
  Authors: Fiedor Jan, Smrčka Aleš, Vašíček Ondřej, Vojnar Tomáš

• 2020

  ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4, software
  Authors: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

  OSLC ANaConDA Adapter, Version 1.0, software
  Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav

• 2012

  ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, software
  Authors: Fiedor Jan, Vojnar Tomáš

• 2011

  A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software
  Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš

  OCRP Solver: A Tool for Solving the OCRP Problem, software
  Authors: Fiedor Jan

• 2010

  Replay Tracer & BMC, software
  Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš

  Tool for verification of systems described using the Modechart formalism, software
  Authors: Gach Marek, Fiedor Jan, Češka Milan

  Tool for verification of systems specified in RT-Logic language, software
  Authors: Fiedor Jan, Gach Marek, Češka Milan