Project Details

AUTODEV - Automaty v rozhodovacích procedurách a verifikaci

Project Period: 1. 1. 2019 - 31. 12. 2021

Project Type: grant

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áš, doc. Mgr., Ph.D. (UITS FIT VUT) , research leader
Strejček Jan, prof. RNDr., Ph.D. (FI MUNI) , team leader
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holíková Lenka, Ing. (UITS FIT VUT)
Hošták Viliam Samuel, Ing. (FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Chocholatý David, Bc. (FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Malásková Věra (UITS FIT VUT)
Matyáš Jiří, Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Slezáková Alexandra, Bc. (FIT VUT)
Šedý Michal, Bc. (FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Turcel Matej, Ing. (FIT VUT)
Vargovčík Pavol, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)








Back to top