Faculty of Information Technology, BUT

Project Details

Automaty v rozhodovacích procedurách a verifikaci

Project Period: 01.01.2019 - 31.12.2021

Code: GA19-24397S

Agency: Czech Science Foundation

Program: Standardní projekty

English title
Automata for Decision Procedures and Verification
Finite on automata on finite and infinite objects, heuristics for efficient operations with automata, decision procedures, formal analysis and verification, shape analysis, string analysis, termination and liveness analysis.
As indicated already above, the essence of the project is to deliver a strong push towards unleashing the potential of automata in practice through efficient heuristics. The efficiency of the heuristics should be demonstrated by using the developed techniques to advance the state of the art in shape analysis, string analysis, and termination/liveness analysis.
Team members
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT) , research leader
Strejček Jan, doc. RNDr., Ph.D. (FI MUNI) , team leader
Češka Milan, RNDr., Ph.D. (UITS FIT VUT)
Havlena Vojtěch, Ing. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Matyáš Jiří, Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Turoňová Lenka, Ing. (UITS FIT VUT)
Vargovčík Pavol, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)





Back to top