2024

Mata: Knihovna pro konečné automaty, software
Autoři: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj

Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415, software
Autoři: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš

Z3-Noodler: Řetězcový Řešič, software
Autoři: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj

2023

Nástroj pro testování síťových aplikací založený na injekci vad, software
Autoři: Rozsíval Michal, Smrčka Aleš

RacerF, verze 1.0, software
Autoři: Dacík Tomáš, Vojnar Tomáš

2022

Analyzátor metrik monitorovaných v dohledovém centru, software
Autoři: Fiedor Tomáš, Hruška Martin, Smrčka Aleš, Švéda Martin, Hradský Tomáš

Atomer: detektor porušení atomičnosti, verze 2.0, software
Autoři: Harmim Dominik, Vojnar Tomáš

Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software
Autoři: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian

GadgetCA - Nástroj pro generování ReDoS útoků, software
Autoři: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar Tomáš

Multitenantní aplikační modul výrobního informačního systému, software
Autoři: Smrčka Aleš, Freyburg Petr, Švéda Martin, Hradský Tomáš

Ranker: Nástroj pro komplementaci Büchiho automatů, software
Autoři: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora

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

DeadlockF, verze 1.0, software
Autoři: Dacík Tomáš, Vojnar Tomáš

Software pro měření a vyhodnocení výkonnostních parametrů, software
Autoři: Fiedor Tomáš, Hruška Martin, Smrčka Aleš

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 Bohuslav

Atomer: detektor porušení atomičnosti, verze 1.0, software
Autoři: Harmim Dominik, Vojnar Tomáš

Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software
Autoři: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš

Looper: analyzátor nejhorší ceny, verze 1.0, software
Autoři: Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam

L2D2: nízko-úrovňový detektor uváznutí, verze 1.0, software
Autoři: Marcin Vladimír, Vojnar Tomáš

Nástroj pro přípravu testů průmyslových aplikací, software
Autoři: Čeleda Pavel, Fiedor Tomáš, Hruška Martin, Panov Sergey, Pospíšil Luboš, Rozsíval Michal, Smrčka Aleš, Tureček Dominik

OSLC 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

Perun: Systém pro verzování výkonu, verze 0.18.3, software
Autoři: Fiedor Tomáš, Pavela Jiří, Podola Radim, Stupinský Šimon, Liščinský Matúš, Rogalewicz Adam, Vojnar Tomáš

Testos-Spectra: Nástroj pro verifikaci ptLTL na programech C/C++, software
Autoři: Smrčka Aleš, Sečkařová Petra

2019

PICoSo: SMT řešič pro řezězcová omezení, software
Autoři: Holíková Lenka, Janků Petr

Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software
Autoři: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam

Trau: SMT řešič řetězcových omezení, software
Autoři: Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp

2018

Lenochod - SMT solver pro řetězcová omezení, software
Autoři: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš

MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software
Autoři: Holík Lukáš, Holíková Lenka, Vojnar Tomáš

Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software
Autoři: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian

2017

Gaston - Symbolická WS1S Rozhodovací Procedura, software
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš

2015

dWiNA - Implementace rozhodovací procedury pro WS1S, software
Autoři: Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš

INCLUDER (tracer): Nástroj pro rozhodování běhové inkluze pro automaty nad daty, software
Autoři: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš

Norn: SMT řešič řetězcových omezení, software
Autoři: Abdulla Parosh A., Atig Mohamed F., Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Stenman Jari

2014

HADES (Hazard Detection System), software
Autoři: Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš

SLIDE: Separační logika s induktivními definicemi, software
Autoři: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš

SPEN - Rozhodovací procedura pro separační logiku, software
Autoři: Enea Constantin, Lengál Ondřej, Sighireanu Mihaela, Vojnar Tomáš

2013

CPAlien: Konfigurovatelná analýza programů nad symbolickými paměťovými grafy, software
Autoři: Müller Petr, Vojnar Tomáš

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áš

HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software
Autoři: Zachariášová Marcela, Lengál Ondřej, Kajan Michal

VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty, software
Autoři: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš

2011

Nástroj propojující dynamickou analýzu a bounded model checking, software
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš

2010

Forester: Nástroj pro verifikaci programů s ukazateli, software
Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš

Framework pro formální verifikaci asynchronních komponent, software
Autoři: Smrčka Aleš, Vojnar Tomáš

libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty, software
Autoři: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš

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 Milan

Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software
Autoři: Fiedor Jan, Gach Marek, Češka Milan

Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice, software
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš

Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu, software
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš

Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

2009

Analyzátor CDC asynchronních komponent, software
Autoři: Smrčka Aleš

FLATA, software
Autoři: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif Radu

Nástroj pro výpočet simulací, software
Autoři: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš

Překladač modelu FAST pro ARMC, software
Autoři: Smrčka Aleš

2008

MUSE - model checking s využitím symbolického provádění, software
Autoři: Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro

Nástroj pro detekci a opravu chyb v atomicitě programů, software
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

2007

ARTMC - Abstraktní regulární stromový model checking, software
Autoři: Rogalewicz Adam, Vojnar Tomáš

Nástroj pro detekci a opravu časově závislých chyb v Javě, software
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

Překladač VHDL designu do čítačového automatu, software
Autoři: Smrčka Aleš, Vojnar Tomáš