Project Details

Automaty v rozhodovacích procedurách a verifikaci

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

Project Type: grant

Code: GA19-24397S, 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
Publications

2023

2021

2020

2019

Back to top