Ing. Jan Fiedor
| 2011 | A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011 Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš |
| | OCRP Solver: A Tool for Solving the OCRP Problem, software, 2011 Authors: Fiedor Jan |
| 2010 | Replay Tracer & BMC, software, 2010 Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš |
| | Tool for verification of systems described using the Modechart formalism, software, 2010 Authors: Gach Marek, Fiedor Jan, Češka Milan |
| | Tool for verification of systems specified in RT-Logic language, software, 2010 Authors: Fiedor Jan, Gach Marek, Češka Milan |
|