Applied results

• 2024

  MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.: xx; Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415. xx. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. (Software)
  Detail

• 2023

  MALÍK, V.; GLOZAR, T.; VOJNAR, T.; ŠILLING, P.; ŽÁČIK, P.; MALECOVÁ, T.; ROZEK, J.: xx; DiffKemp: Static Analyser of Semantic Differences, version 0.4.0. xx. URL: https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0. (Software)
  Detail

  KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.: xx; 2LS: Static Analyser and Verifier, version 0.10. xx. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (Software)
  Detail

  DACÍK, T.; VOJNAR, T.: xx; RacerF, Version 1.0. xx. URL: https://github.com/TDacik/Deadlock/releases/tag/racer-v1.0. (Software)
  Detail

• 2022

  ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.: xx; Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning. xx. URL: https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1. (Software)
  Detail

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0. xx. URL: https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. (Software)
  Detail

  HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: xx; GadgetCA: A Tool for Generating ReDoS Attacks. xx. URL: https://www.fit.vut.cz/research/product/730/. (Software)
  Detail

  HARMIM, D.; VOJNAR, T.: xx; Atomer: Atomicity Violations Analyser, Version 2.0. xx. URL: https://github.com/harmim/infer/releases/tag/atomer-v2.0.0. (Software)
  Detail

• 2021

  SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T.: xx; Testos-Aufover - Verification as a Service. xx. URL: https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0. (Software)
  Detail

  DACÍK, T.; VOJNAR, T.: xx; DeadlockF, Version 1.0. xx. URL: https://github.com/TDacik/Deadlock/releases/tag/1.0. (Software)
  Detail

• 2020

  HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: xx; Chipmunk: A Tool for Matching of Regular Expressions. xx. URL: https://www.fit.vut.cz/research/product/685/. (Software)
  Detail

  PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: xx; Looper: A Worst Case Cost Analyser, Version 1.0. xx. URL: https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip. (Software)
  Detail

  FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4. xx. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. (Software)
  Detail

  HARMIM, D.; VOJNAR, T.: xx; Atomer: Atomicity Violations Analyser, Version 1.0. xx. URL: https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz. (Software)
  Detail

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: xx; OSLC ANaConDA Adapter, Version 1.0. xx. URL: http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. (Software)
  Detail

  FIEDOR, T.; PAVELA, J.; PODOLA, R.; STUPINSKÝ, Š.; LIŠČINSKÝ, M.; ROGALEWICZ, A.; VOJNAR, T.: xx; Perun: Lightweight Performance Version System, Version 0.18.3. xx. URL: https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.zip. (Software)
  Detail

  MARCIN, V.; VOJNAR, T.: xx; L2D2: A Low Level Deadlock Detector, Version 1.0. xx. URL: https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131. (Software)
  Detail

• 2019

  MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: xx; VeriFIT Static Analysis Plugins. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. (Software)
  Detail

• 2018

  HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: xx; Sloth: An SMT Solver for String Constraints. xx. URL: https://www.fit.vut.cz/research/product/563/. (Software)
  Detail

  HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.: xx; MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. xx. URL: https://www.fit.vut.cz/research/product/559/. (Software)
  Detail

  FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: xx; Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. xx. URL: https://www.fit.vut.cz/research/product/562/. (Software)
  Detail

• 2017

  FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: xx; Gaston - Symbolic WS1S Solver. xx. URL: https://www.fit.vut.cz/research/product/511/. (Software)
  Detail

• 2015

  ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: xx; INCLUDER (TRACER): Trace Inclusion for Data Word Automata. xx. URL: https://www.fit.vut.cz/research/product/422/. (Software)
  Detail

  FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: xx; dWiNA - An Implementation of Decision Procedure for WS1S. xx. URL: https://www.fit.vut.cz/research/product/432/. (Software)
  Detail

• 2014

  CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.: xx; HADES - Hazard Detection System. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. (Software)
  Detail

  LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M.: xx; SPEN - A Solver for Separation Logic Entailments. xx. URL: http://www.liafa.univ-paris-diderot.fr/spen/. (Software)
  Detail

  ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: xx; SLIDE: Separation Logic with Inductive Definitions. xx. URL: https://www.fit.vut.cz/research/product/373/. (Software)
  Detail

• 2013

  MÜLLER, P.; VOJNAR, T.: xx; CPAlien: Configurable Program Analysis over Symbolic Memory Graphs. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. (Software)
  Detail

• 2012

  FIEDOR, J.; VOJNAR, T.: xx; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. (Software)
  Detail

  LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.: xx; VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. xx. URL: https://www.fit.vut.cz/research/product/223/. (Software)
  Detail

• 2011

  DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.: xx; DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. (Software)
  Detail

• 2010

  LETKO, Z.; VOJNAR, T.; KŘENA, B.: xx; Search-based Testing Environment (SearchBestie). xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. (Software)
  Detail

  ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.: xx; Forester: A Tool for Verification of Programs with Pointers. xx. URL: https://www.fit.vut.cz/research/product/142/. (Software)
  Detail

  LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: xx; libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype. xx. URL: https://github.com/ondrik/libsfta. (Software)
  Detail

  DUDKA, K.; PERINGER, P.; VOJNAR, T.: xx; Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. xx. URL: https://www.fit.vut.cz/research/product/149/. (Software)
  Detail

  DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.: xx; Replay Tracer & BMC. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. (Software)
  Detail

  DUDKA, K.; PERINGER, P.; VOJNAR, T.: xx; An Easy to Use Infrastructure for Building Static Analysis Tools. xx. URL: https://www.fit.vut.cz/research/product/150/. (Software)
  Detail

  SMRČKA, A.; VOJNAR, T.: xx; Framework for Formal Verification of Clock Domain Crossing. xx. URL: http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded. (Software)
  Detail

• 2009

  ŠIMÁČEK, J.; HOLÍK, L.; VOJNAR, T.: xx; Tool for Computing Simulations. xx. URL: https://www.fit.vut.cz/research/product/131/. (Software)
  Detail

  KONEČNÝ, F.; VOJNAR, T.; BOZGA, M.; IOSIF, R.: xx; FLATA. xx. URL: http://www-verimag.imag.fr/FLATA.html. (Software)
  Detail

• 2008

  LETKO, Z.; VOJNAR, T.; KŘENA, B.: xx; Java Atomicity Violation Detector & Healer. xx. URL: https://www.fit.vut.cz/research/product/90/. (Software)
  Detail

• 2007

  ROGALEWICZ, A.; VOJNAR, T.: xx; ARTMC - Abstract Regular Tree Model Checking. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. (Software)
  Detail

  LETKO, Z.; VOJNAR, T.; KŘENA, B.: xx; Java Race Detector & Healer. xx. URL: https://www.fit.vut.cz/research/product/49/. (Software)
  Detail

  SMRČKA, A.; VOJNAR, T.: xx; Translator of VHDL Design to Counter Automaton. xx. URL: http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/. (Software)
  Detail

*) Citations are generated once every 24 hours.