Výzkumná skupina automatizované analýzy a verifikace - VeriFIT

Dosažené výsledky

2019Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software, 2019
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, 2019
Autoři: Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp
2018Lenochod - SMT solver pro řetězcová omezení, software, 2018
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, 2018
Autoři: Holík Lukáš, Turoňová Lenka, Vojnar Tomáš
 Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software, 2018
Autoři: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian
2017Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš
2015dWiNA - Implementace rozhodovací procedury pro WS1S, software, 2015
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, 2015
Autoři: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš
 Norn: SMT řešič řetězcových omezení, software, 2015
Autoři: Abdulla Parosh A., Atig Mohamed F., Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Stenman Jari
2014HADES (Hazard Detection System), software, 2014
Autoři: Charvát Lukáš, Smrčka Aleš, Vojnar Tomáš
 SLIDE: Separační logika s induktivními definicemi, software, 2014
Autoři: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš
 SPEN - Rozhodovací procedura pro separační logiku, software, 2014
Autoři: Enea Constantin, Lengál Ondřej, Sighireanu Mihaela, Vojnar Tomáš
2013CPAlien: Konfigurovatelná analýza programů nad symbolickými paměťovými grafy, software, 2013
Autoři: Müller Petr, Vojnar Tomáš
2012ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, software, 2012
Autoři: Fiedor Jan, Vojnar Tomáš
 HAVEN: Otevřený rámec pro akceleraci funkční verifikace hardwaru pomocí FPGA, software, 2012
Autoři: Zachariášová Marcela, Lengál Ondřej, Kajan Michal
 VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty, software, 2012
Autoři: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš
2011Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš
2010Forester: Nástroj pro verifikaci programů s ukazateli, software, 2010
Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
 Framework pro formální verifikaci asynchronních komponent, software, 2010
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, 2010
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, 2010
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, 2010
Autoři: Gach Marek, Fiedor Jan, Češka Milan
 Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
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, 2010
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš
 Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu, software, 2010
Autoři: Dudka Kamil, Peringer Petr, Vojnar Tomáš
 Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2009Analyzátor CDC asynchronních komponent, software, 2009
Autoři: Smrčka Aleš
 FLATA, software, 2009
Autoři: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif Radu
 Nástroj pro výpočet simulací, software, 2009
Autoři: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš
 Překladač modelu FAST pro ARMC, software, 2009
Autoři: Smrčka Aleš
2008MUSE - model checking s využitím symbolického provádění, software, 2008
Autoři: Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro
 Nástroj pro detekci a opravu chyb v atomicitě programů, software, 2008
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2007ARTMC - Abstraktní regulární stromový model checking, software, 2007
Autoři: Rogalewicz Adam, Vojnar Tomáš
 Nástroj pro detekci a opravu časově závislých chyb v Javě, software, 2007
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
 Překladač VHDL designu do čítačového automatu, software, 2007
Autoři: Smrčka Aleš, Vojnar Tomáš

Vaše IPv4 adresa: 100.24.209.47