Products
-
2024
Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software
Authors: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš -
2023
DiffKemp: Static Analyser of Semantic Differences, version 0.4.0, software
Authors: Glozar Tomáš, Malecová Tatiana, Malík Viktor, Rozek Jakub, Šilling Petr, Vojnar Tomáš, Žáčik PavolRacerF, Version 1.0, software
Authors: Dacík Tomáš, Vojnar Tomáš2LS: Static Analyser and Verifier, version 0.10, software
Authors: 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: Atomicity Violations Analyser, Version 2.0, software
Authors: Harmim Dominik, Vojnar TomášBroom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning, software
Authors: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger FlorianGadgetCA: A Tool for Generating ReDoS Attacks, software
Authors: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar TomášUnite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0, software
Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav -
2021
DeadlockF, Version 1.0, software
Authors: Dacík Tomáš, Vojnar TomášTestos-Aufover - Verification as a Service, software
Authors: Fiedor Jan, Smrčka Aleš, Vašíček Ondřej, Vojnar Tomáš -
2020
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4, software
Authors: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena BohuslavAtomer: Atomicity Violations Analyser, Version 1.0, software
Authors: Harmim Dominik, Vojnar TomášChipmunk: A Tool for Matching of Regular Expressions., software
Authors: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar TomášLooper: A Worst Case Cost Analyser, Version 1.0, software
Authors: Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz AdamL2D2: A Low Level Deadlock Detector, Version 1.0, software
Authors: Marcin Vladimír, Vojnar TomášOSLC ANaConDA Adapter, Version 1.0, software
Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena BohuslavPerun: Lightweight Performance Version System, Version 0.18.3, software
Authors: Fiedor Tomáš, Pavela Jiří, Podola Radim, Stupinský Šimon, Liščinský Matúš, Rogalewicz Adam, Vojnar Tomáš -
2019
VeriFIT Static Analysis Plugins, software
Authors: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam -
2018
MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software
Authors: Holík Lukáš, Holíková Lenka, Vojnar TomášRanger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software
Authors: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger FlorianSloth: An SMT Solver for String Constraints, software
Authors: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš -
2017
Gaston - Symbolic WS1S Solver, software
Authors: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš -
2015
dWiNA - An Implementation of Decision Procedure for WS1S, software
Authors: Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar TomášINCLUDER (tracer): Trace Inclusion for Data Word Automata, software
Authors: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš -
2014
HADES (Hazard Detection System), software
Authors: Charvát Lukáš, Smrčka Aleš, Vojnar TomášSLIDE: Separation Logic with Inductive Definitions, software
Authors: Rogalewicz Adam, Iosif Radu, Vojnar TomášSPEN - A Solver for Separation Logic Entailments, software
Authors: Enea Constantin, Lengál Ondřej, Sighireanu Mihaela, Vojnar Tomáš -
2013
CPAlien: Configurable Program Analysis over Symbolic Memory Graphs, software
Authors: Müller Petr, Vojnar Tomáš -
2012
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, software
Authors: Fiedor Jan, Vojnar TomášVATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software
Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš -
2011
A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software
Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš -
2010
An Easy to Use Infrastructure for Building Static Analysis Tools, software
Authors: Dudka Kamil, Peringer Petr, Vojnar TomášForester: A Tool for Verification of Programs with Pointers, software
Authors: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar TomášFramework for Formal Verification of Clock Domain Crossing, software
Authors: Smrčka Aleš, Vojnar TomášlibSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software
Authors: Holík Lukáš, Lengál Ondřej, Vojnar TomášPredator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, software
Authors: Dudka Kamil, Peringer Petr, Vojnar TomášReplay Tracer & BMC, software
Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar TomášSearch-based Testing Environment (SearchBestie), software
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav -
2009
FLATA, software
Authors: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif RaduTool for Computing Simulations, software
Authors: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš -
2008
Java Atomicity Violation Detector & Healer, software
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav -
2007
ARTMC - Abstract Regular Tree Model Checking, software
Authors: Rogalewicz Adam, Vojnar TomášJava Race Detector & Healer, software
Authors: Letko Zdeněk, Vojnar Tomáš, Křena BohuslavTranslator of VHDL Design to Counter Automaton, software
Authors: Smrčka Aleš, Vojnar Tomáš -
2003
PNtalk system (v. 96), testing
Authors: Janoušek Vladimír, Vojnar Tomáš