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
Type
grant
Keywords

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.

Abstract

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
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Publications

2020

2019

Products

2019

2015

Back to top