prof. Ing.

Tomáš Vojnar

Ph.D.

FIT – professor

+420 54114 1202
vojnar@fit.vutbr.cz

Send BUT message

prof. Ing. Tomáš Vojnar, Ph.D.

Creative activities

  • 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/, number of downloads: 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: http://www.fit.vutbr.cz/research/prod/index.php?id=49. (software)
    http://www.fit.vutbr.cz/research/prod/index.php?id=49, number of downloads: 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/, number of downloads: 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, number of downloads: 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/, number of downloads: 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, number of downloads: 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/, number of downloads: 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/, number of downloads: 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, number of downloads: 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, number of downloads: 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/, number of downloads: 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, number of downloads: 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, number of downloads: 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/, number of downloads: 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/, number of downloads: 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, number of downloads: 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/, number of downloads: 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/, number of downloads: 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/, number of downloads: 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/, number of downloads: 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/. URL: https://www.fit.vut.cz/research/product/422/. (software)
    https://www.fit.vut.cz/research/product/422/, number of downloads: 2
    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/, number of downloads: 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/, number of downloads: 2
    Detail

  • HOLÍK, L.; TUROŇOVÁ, 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/, number of downloads: 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/, number of downloads: 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/, number of downloads: 1
    Detail

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.