2024

Mata: Knihovna pro konečné automaty, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.

Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415, software, 2024
Autoři: MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.

Z3-Noodler: Řetězcový Řešič, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.

2023

Nástroj pro testování síťových aplikací založený na injekci vad, software, 2023
Autoři: ROZSÍVAL, M.; SMRČKA, A.

RacerF, verze 1.0, software, 2023
Autoři: DACÍK, T.; VOJNAR, T.

2022

Analyzátor metrik monitorovaných v dohledovém centru, software, 2022
Autoři: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T.

Atomer: detektor porušení atomičnosti, verze 2.0, software, 2022
Autoři: HARMIM, D.; VOJNAR, T.

Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software, 2022
Autoři: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.

GadgetCA - Nástroj pro generování ReDoS útoků, software, 2022
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.

Multitenantní aplikační modul výrobního informačního systému, software, 2022
Autoři: SMRČKA, A.; FREYBURG, P.; ŠVÉDA, M.; HRADSKÝ, T.

Ranker: Nástroj pro komplementaci Büchiho automatů, software, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.

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

DeadlockF, verze 1.0, software, 2021
Autoři: DACÍK, T.; VOJNAR, T.

Software pro měření a vyhodnocení výkonnostních parametrů, software, 2021
Autoři: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.

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.

Atomer: detektor porušení atomičnosti, verze 1.0, software, 2020
Autoři: HARMIM, D.; VOJNAR, T.

Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software, 2020
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.

L2D2: nízko-úrovňový detektor uváznutí, verze 1.0, software, 2020
Autoři: MARCIN, V.; VOJNAR, T.

Looper: analyzátor nejhorší ceny, verze 1.0, software, 2020
Autoři: PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.

Nástroj pro přípravu testů průmyslových aplikací, software, 2020
Autoři: HRUŠKA, M.; FIEDOR, T.; PANOV, S.; ROZSÍVAL, M.; SMRČKA, A.; TUREČEK, D.; POSPÍŠIL, L.; ČELEDA, P.

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.

Perun: Systém pro verzování výkonu, verze 0.18.3, software, 2020
Autoři: FIEDOR, T.; PAVELA, J.; PODOLA, R.; STUPINSKÝ, Š.; LIŠČINSKÝ, M.; ROGALEWICZ, A.; VOJNAR, T.

Testos-Spectra: Nástroj pro verifikaci ptLTL na programech C/C++, software, 2020
Autoři: SMRČKA, A.; SEČKAŘOVÁ, P.

2019

PICoSo: SMT řešič pro řezězcová omezení, software, 2019
Autoři: HOLÍKOVÁ, L.; JANKŮ, P.

Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software, 2019
Autoři: MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.

Trau: SMT řešič řetězcových omezení, software, 2019
Autoři: HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; REZINE, A.; RUMMER, P.

2018

Lenochod - SMT solver pro řetězcová omezení, software, 2018
Autoři: HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.

MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software, 2018
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.

Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software, 2018
Autoři: FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.

2017

Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.

2015

dWiNA - Implementace rozhodovací procedury pro WS1S, software, 2015
Autoři: FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.

INCLUDER (tracer): Nástroj pro rozhodování běhové inkluze pro automaty nad daty, software, 2015
Autoři: ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.

Norn: SMT řešič řetězcových omezení, software, 2015
Autoři: HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; REZINE, A.; STENMAN, J.

2014

HADES (Hazard Detection System), software, 2014
Autoři: CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.

SLIDE: Separační logika s induktivními definicemi, software, 2014
Autoři: ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.

SPEN - Rozhodovací procedura pro separační logiku, software, 2014
Autoři: LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M.

2013

CPAlien: Konfigurovatelná analýza programů nad symbolickými paměťovými grafy, software, 2013
Autoři: MÜLLER, P.; VOJNAR, T.

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.

HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software, 2012
Autoři: ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.

VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty, software, 2012
Autoři: LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.

2011

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

Forester: Nástroj pro verifikaci programů s ukazateli, software, 2010
Autoři: ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.

Framework pro formální verifikaci asynchronních komponent, software, 2010
Autoři: SMRČKA, A.; VOJNAR, T.

libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty, software, 2010
Autoři: LENGÁL, O.; HOLÍK, L.; VOJNAR, T.

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.

Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice, software, 2010
Autoři: DUDKA, K.; PERINGER, P.; VOJNAR, T.

Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu, software, 2010
Autoři: DUDKA, K.; PERINGER, P.; VOJNAR, T.

Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010
Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

2009

Analyzátor CDC asynchronních komponent, software, 2009
Autoři: SMRČKA, A.

FLATA, software, 2009
Autoři: KONEČNÝ, F.; VOJNAR, T.; BOZGA, M.; IOSIF, R.

Nástroj pro výpočet simulací, software, 2009
Autoři: ŠIMÁČEK, J.; HOLÍK, L.; VOJNAR, T.

Překladač modelu FAST pro ARMC, software, 2009
Autoři: SMRČKA, A.

2008

MUSE - model checking s využitím symbolického provádění, software, 2008
Autoři: KŘENA, B.; BRAIONE, P.; DENARO, G.; PEZZE, M.

Nástroj pro detekci a opravu chyb v atomicitě programů, software, 2008
Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

2007

ARTMC - Abstraktní regulární stromový model checking, software, 2007
Autoři: ROGALEWICZ, A.; VOJNAR, T.

Nástroj pro detekci a opravu časově závislých chyb v Javě, software, 2007
Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

Překladač VHDL designu do čítačového automatu, software, 2007
Autoři: SMRČKA, A.; VOJNAR, T.