Produkty
-
2024
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áš -
2023
DiffKemp: Statický analyzátor sémantických rozdílů, verze 0.4.0, software
Autoři: Glozar Tomáš, Malecová Tatiana, Malík Viktor, Rozek Jakub, Šilling Petr, Vojnar Tomáš, Žáčik PavolRacerF, verze 1.0, software
Autoři: Dacík Tomáš, Vojnar Tomáš2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software
Autoři: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn -
2022
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 FlorianGadgetCA - 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áš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áš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 BohuslavAtomer: 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 AdamL2D2: nízko-úrovňový detektor uváznutí, verze 1.0, software
Autoři: Marcin Vladimír, Vojnar Tomáš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 BohuslavPerun: 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áš -
2019
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 -
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áš -
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áš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áš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
FLATA, software
Autoři: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif RaduNástroj pro výpočet simulací, software
Autoři: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš -
2008
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 BohuslavPřekladač VHDL designu do čítačového automatu, software
Autoři: Smrčka Aleš, Vojnar Tomáš -
2003
PNtalk systém (v. 96), vyvíjený produkt
Autoři: Janoušek Vladimír, Vojnar Tomáš