OCENĚNÍ

Článek Chain-Free String Constraints (P.A. Abdulla, M.F. Atig, B.P. Diep, L. Holík, P. Janků) získal cenu za nejlepší článek na konferenci ATVA 2019.
Článek Automata Terms in a Lazy WSkS Decision Procedure (V. Havlena, L. Holík, O. Lengál, T. Vojnar) získal cenu za nejlepší článek na konferenci CADE-27, 2019.
Nástroje Predator (M. Kotoun, P. Peringer, V. Šoková, T. Vojnar) a 2LS (V. Malík, T. Vojnar; nástroj primárně vyvíjen společností DiffBlue) se zúčastnily mezinárodní soutěže ve verifikaci software SV-COMP'19, kde získaly jednu stříbrnou medaili a nástroj Predator zvítězil v pod-kategoriích MemSafety-Heap a MemSafety-LinkedLists.
Článek o nástroji ANaConDA získal na konferenci ISSTA'18 ocenění za nejlepší článek o nástroji.
Technika navržená ve spolupráci se skupinou ehw@FIT a prezentovaná původně v článku Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished (M. Ceska, J. Matyas, V. Mrazek, L. Sekanina, Z. Vasicek, T. Vojnar) získala bronzovou medaili v rámci soutěže 2018 Human-Competitive Awards: "Humies".
V. Malík a J. Matyáš získali stipendium JCMM Brno PhD talent startující od roku 2017.
Jiří Matyáš zvítězil v soutěži IT SPY 2017 se svou diplomovou prací "Využití přibližné ekvivalence při návrhu přibližných obvodů" vedenou M. Češkou jr. a řešenou ve spoluprací skupiny VeriFIT se skupinou ehw@fit.
Nástroje Predator (M. Kotoun, P. Peringer, V. Šoková, T. Vojnar) a Forester (L. Holík, M. Hruška, O. Lengál, A. Rogalewicz, J. Šimáček, T. Vojnar) se zúčastnily mezinárodní soutěže ve verifikaci software SV-COMP'18, kde získaly jednu stříbrnou medaili a nástroj Predator zvítězil v kategoriích ReachSafety-Heap a MemSafety-Heap. Členové skupiny (V. Malík, Š. Martiček, T. Vojnar) se navíc nově zapojili do soutěže i v rámci týmu spojeného s nástrojem 2LS vyvíjeného primárně společností DiffBlue.
Nástroje Predator (M. Kotoun, P. Peringer, V. Šoková, T. Vojnar) a Forester (L. Holík, M. Hruška, O. Lengál, A. Rogalewicz, J. Šimáček, T. Vojnar) se zúčastnily mezinárodní soutěže ve verifikaci software SV-COMP'17, kde získaly jednu zlatou medaili.
Ondřej Lengál získal Cenu Antonína Svobody pro nejlepší disertační práci roku 2015 udělovanou Českou společností pro kybernetiku a informatiku.
Nástroje Predator (M. Kotoun, P. Peringer, V. Šoková, T. Vojnar) a Forester (L. Holík, M. Hruška, O. Lengál, A. Rogalewicz, J. Šimáček, T. Vojnar) se zúčastnily mezinárodní soutěže ve verifikaci software SV-COMP'16, kde získaly jednu zlatou medaili.
Nástroje Predator (P. Müller, P. Peringer, T. Vojnar) a Forester (L. Holík, M. Hruška, O. Lengál, A. Rogalewicz, J. Šimáček, T. Vojnar) se zúčastnily mezinárodní soutěževe verifikaci software SV-COMP'15, kde získaly jednu zlatou a jednu stříbrnou medaili.
Nástroje SPEN (C. Enea, O. Lengál, M. Sighireanu a T. Vojnar) a SLIDE (R. Iosif, A. Rogalewicz a T. Vojnar) získaly jednu zlatou a tři stříbrné medaile na první mezinárodní soutěži rozhodovacích procedur pro separační logiku SL-COMP'14.
Nástroj Predator získal na FLoC Olympic Games 2014 prestižní medaili Kurta Gödela za jeho úspěchy ve třech za sebou jdoucích ročnících mezinárodní soutěže ve verifikaci software SV-COMP.
Nástroje Predator (K. Dudka, P. Peringer, T. Vojnar) a CPAlien (P. Müller, T. Vojnar) se zúčastnily mezinárodní soutěže ve verifikaci software SV-COMP'14, kde získaly jednu stříbrnou a jednu bronzovou medaili.
Článek The Tree Width of Separation Logic with Recursive Definitions (R. Iosif, A. Rogalewicz, J. Šimáček) získal cenu za nejlepší článek na konferenci CADE-24, 2013.
Článek An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (P.A. Abdulla, F. Haziza, L. Holík, B. Jonsson, A. Rezine) získal cenu EASST Best Software Science Paper udělenou v rámci sdružení konferencí ETAPS'13.
Nástroj Predator (K. Dudka, P. Müller, P. Peringer, T. Vojnar) zvítězil ve třech kategoriích mezinárodní soutěže SV-COMP'13.
Článek ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level (J. Fiedor, T. Vojnar) získal cenu za nejlepší článek o nástroji na konferenci RV'12.
Nástroj Predator (K. Dudka, P. Müller, P. Peringer, T. Vojnar) zvítězil v jedné z kategorií mezinárodní soutěže SV-COMP'12.
Článek When Simulation Meets Antichains. On Checking Language Inclusion of NFAs. (P.A. Abdulla, Y.-F. Chen, L. Holik, R. Mayr, T. Vojnar) získal cenu EATCS Best Theory Paper udělenou v rámci sdružení konferencí ETAPS'10.
Diplomová práce O. Lengála (Efektivní knihovna pro práci s konečnými stromovými automaty) zvítězila v 5. ročníku soutěže Diplomová práce roku, 2010.
Článek Composed Bisimulation for Tree Automata (P.A. Abdulla, A. Bouajjani, L. Holik, L. Kaati, T. Vojnar) získal cenu za nejlepší článek na konferenci CIAA'08.
Diplomová práce Z. Letka (Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java) získala 1. místo ve studentské soutěži AFCEA 2008.