AUTODEV - Automaty v rozhodovacích procedurách a verifikaci
Project Period: 1. 1. 2019 - 31. 12. 2021
Project Type: grant
Agency: Czech Science Foundation
Program: Standardní projekty
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.