Automated Analysis and Verification Research Group - VeriFIT

Projects

2019AUFOVER - AuFoVer - Automated Formal Verification, TACR, TH04010192, 2019-2021, running
Research leader: Kratochvíla Tomáš
Team leaders: Smrčka Aleš
 Advanced methods of deep inspection in the application layer to defend against today's threats, BUT, FEKT/FIT-J-19-5906, 2019-2020, running
Research leader: Janků Petr
Team leaders: Holík Lukáš, Mlýnek Petr, Sláčik Ján, Vargovčík Pavol, Vojnar Tomáš
 Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Horizon 2020, 2019-2022, running
Research leader: Vojnar Tomáš
2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, running
Research leader: Robinson Charles
Team leaders: Vojnar Tomáš
 ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: Vojnar Tomáš
2016Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, completed
Research leader: Holík Lukáš
 Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed
Research leader: Vojnar Tomáš
2014Automatic Analysis and Verification of Transactional Memories, COST, LD14001, 2014, completed
Research leader: Vojnar Tomáš
 Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
 Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, completed
Research leader: Kofroň Jan
Team leaders: Vojnar Tomáš
2013Intelligent Testing and Analysis of Concurrent Software, MŠMT CR, LH13265, 2013-2015, completed
Research leader: Vojnar Tomáš
Team leaders: Křena Bohuslav
 Verification of Infinite State Systems Based on Finite Automata, GACR, GP13-37876P, 2013-2015, completed
Research leader: Holík Lukáš
2011Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST, IC1001, 2011-2015, completed
Research leader: Lourenco Joao
Team leaders: Romano Paolo, Vojnar Tomáš

Your IPv4 address: 34.204.179.0
Switch to https