Tvůrčí aktivity

• JANOUŠEK, V.; VOJNAR, T.: PNtalk96; PNtalk system (v. 96). http://www.daimi.au.dk/PetriNets/tools/db/pntalk.html. URL: http://www.daimi.au.dk/PetriNets/tools/db/pntalk.html. (produkt nebo technologie ve stavu vývoje, testování)
  http://www.daimi.au.dk/PetriNets/tools/db/pntalk.html, počet stažení: 2
  Detail

• ROGALEWICZ, A.; VOJNAR, T.: ARTMC-v1; ARTMC - Abstract Regular Tree Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/, počet stažení: 1
  Detail

• LETKO, Z.; VOJNAR, T.; KŘENA, B.: JRDH; Java Race Detector & Healer. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/. URL: https://www.fit.vut.cz/research/product/49/. (software)
  https://www.fit.vut.cz/research/product/49/, počet stažení: 3
  Detail

• SMRČKA, A.; VOJNAR, T.: VHD2CA; Translator of VHDL Design to Counter Automaton. http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/. URL: http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/. (software)
  http://www.fit.vutbr.cz/~smrcka/projects/vhd2ca/, počet stažení: 2
  Detail

• LETKO, Z.; VOJNAR, T.; KŘENA, B.: SearchBestie; Search-based Testing Environment (SearchBestie). http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie, počet stažení: 1
  Detail

• DUDKA, K.; PERINGER, P.; VOJNAR, T.: code-listener; An Easy to Use Infrastructure for Building Static Analysis Tools.    - http://www.fit.vutbr.cz/research/groups/verifit/tools/code-listener. URL: https://www.fit.vut.cz/research/product/150/. (software)
  https://www.fit.vut.cz/research/product/150/, počet stažení: 4
  Detail

• LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: libSFTA; libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype. https://github.com/ondrik/libsfta. URL: https://github.com/ondrik/libsfta. (software)
  https://github.com/ondrik/libsfta, počet stažení: 2
  Detail

• ŠIMÁČEK, J.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.: fapointers; Forester: A Tool for Verification of Programs with Pointers. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/. URL: https://www.fit.vut.cz/research/product/142/. (software)
  https://www.fit.vut.cz/research/product/142/, počet stažení: 3
  Detail

• DUDKA, K.; PERINGER, P.; VOJNAR, T.: predator; Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.    - http://www.fit.vutbr.cz/research/groups/verifit/tools/predator. URL: https://www.fit.vut.cz/research/product/149/. (software)
  https://www.fit.vut.cz/research/product/149/, počet stažení: 3
  Detail

• DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.: RecRev; Replay Tracer & BMC. http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev, počet stažení: 2
  Detail

• KONEČNÝ, F.; VOJNAR, T.; BOZGA, M.; IOSIF, R.: FLATA; FLATA. http://www-verimag.imag.fr/FLATA.html. URL: http://www-verimag.imag.fr/FLATA.html. (software)
  http://www-verimag.imag.fr/FLATA.html, počet stažení: 1
  Detail

• ŠIMÁČEK, J.; HOLÍK, L.; VOJNAR, T.: SA; Tool for Computing Simulations. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/. URL: https://www.fit.vut.cz/research/product/131/. (software)
  https://www.fit.vut.cz/research/product/131/, počet stažení: 3
  Detail

• SMRČKA, A.; VOJNAR, T.: cdcreloaded; Framework for Formal Verification of Clock Domain Crossing. http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded. URL: http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded. (software)
  http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreloaded, počet stažení: 2
  Detail

• DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.: DA-BMC; A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc, počet stažení: 3
  Detail

• LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.: vata; VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/libvata/. URL: https://www.fit.vut.cz/research/product/223/. (software)
  https://www.fit.vut.cz/research/product/223/, počet stažení: 2
  Detail

• FIEDOR, J.; VOJNAR, T.: ANaConDA; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/, počet stažení: 1
  Detail

• MÜLLER, P.; VOJNAR, T.: cpalien; CPAlien: Configurable Program Analysis over Symbolic Memory Graphs. http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien, počet stažení: 1
  Detail

• LETKO, Z.; VOJNAR, T.; KŘENA, B.: JRDH-AT; Java Atomicity Violation Detector & Healer. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/. URL: https://www.fit.vut.cz/research/product/90/. (software)
  https://www.fit.vut.cz/research/product/90/, počet stažení: 2
  Detail

• ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: SLIDE; SLIDE: Separation Logic with Inductive Definitions. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/. URL: https://www.fit.vut.cz/research/product/373/. (software)
  https://www.fit.vut.cz/research/product/373/, počet stažení: 2
  Detail

• LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M.: spen; SPEN - A Solver for Separation Logic Entailments. http://www.liafa.univ-paris-diderot.fr/spen/. URL: http://www.liafa.univ-paris-diderot.fr/spen/. (software)
  http://www.liafa.univ-paris-diderot.fr/spen/, počet stažení: 1
  Detail

• CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.: HADES; HADES (Hazard Detection System). http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/hades/, počet stažení: 2
  Detail

• ROGALEWICZ, A.; IOSIF, R.; VOJNAR, T.: TRACER; INCLUDER (tracer): Trace Inclusion for Data Word Automata. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/includer/. (software)
  Detail

• FIEDOR, T.; LENGÁL, O.; HOLÍK, L.; VOJNAR, T.: dwina; dWiNA - An Implementation of Decision Procedure for WS1S. Nástroj i dokumentaci lze získat na URL:http://www.fit.vutbr.cz/research/groups/verifit/tools/dWiNA/. URL: https://www.fit.vut.cz/research/product/432/. (software)
  https://www.fit.vut.cz/research/product/432/, počet stažení: 2
  Detail

• FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: gaston; Gaston - Symbolic WS1S Solver. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/gaston/ a https://github.com/tfiedor/gaston. URL: https://www.fit.vut.cz/research/product/511/. (software)
  https://www.fit.vut.cz/research/product/511/, počet stažení: 2
  Detail

• HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.: mina; MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/. URL: https://www.fit.vut.cz/research/product/559/. (software)
  https://www.fit.vut.cz/research/product/559/, počet stažení: 1
  Detail

• FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: ranger; Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/ranger/ a https://pajda.fit.vutbr.cz/ifiedortom/forester-resource-bounds. URL: https://www.fit.vut.cz/research/product/562/. (software)
  https://www.fit.vut.cz/research/product/562/, počet stažení: 1
  Detail

• HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: sloth; Sloth: An SMT Solver for String Constraints. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/sloth/ (http://www.fit.vutbr.cz/research/groups/verifit/tools/gaston/) a https://github.com/uuverifiers/sloth. URL: https://www.fit.vut.cz/research/product/563/. (software)
  https://www.fit.vut.cz/research/product/563/, počet stažení: 1
  Detail

• MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: VeriFIT Static Analysis Plugins. http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/, počet stažení: 0
  Detail

• HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: chipmunk; Chipmunk: A Tool for Matching of Regular Expressions. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/chipmunk/. (software)
  Detail

• HARMIM, D.; VOJNAR, T.: Atomer 2.0; Atomer: Atomicity Violations Analyser, Version 2.0. https://github.com/harmim/infer/releases/tag/atomer-v2.0.0. URL: https://github.com/harmim/infer/releases/tag/atomer-v2.0.0. (software)
  https://github.com/harmim/infer/releases/tag/atomer-v2.0.0, počet stažení: 0
  Detail

• DACÍK, T.; VOJNAR, T.: DeadlockF 1.0; DeadlockF, Version 1.0. https://github.com/TDacik/Deadlock/releases/tag/1.0. URL: https://github.com/TDacik/Deadlock/releases/tag/1.0. (software)
  https://github.com/TDacik/Deadlock/releases/tag/1.0, počet stažení: 0
  Detail

• DACÍK, T.; VOJNAR, T.: RacerF, Version 1.0; RacerF, Version 1.0. https://github.com/TDacik/Deadlock/releases/tag/racer-v1.0. URL: https://github.com/TDacik/Deadlock/releases/tag/racer-v1.0. (software)
  https://github.com/TDacik/Deadlock/releases/tag/racer-v1.0, počet stažení: 0
  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.: 2LS 0.10; 2LS: Static Analyser and Verifier, version 0.10. https://github.com/diffblue/2ls/releases/tag/2ls-0.10. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (software)
  https://github.com/diffblue/2ls/releases/tag/2ls-0.10, počet stažení: 0
  Detail

• MALÍK, V.; GLOZAR, T.; VOJNAR, T.; ŠILLING, P.; ŽÁČIK, P.; MALECOVÁ, T.; ROZEK, J.: DiffKemp 0.4.0; DiffKemp: Static Analyser of Semantic Differences, version 0.4.0. https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0. URL: https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0. (software)
  https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0, počet stažení: 0
  Detail

• MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.: PredatorHP v3.1415; Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415. https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. (software)
  https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/, počet stažení: 0
  Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.