Automaty v rozhodovacích procedurách a verifikaci

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 23 (SGA0201900001)

Hlavní účastníci

Vysoké učení technické v Brně / Fakulta informačních technologií

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

19-24397S

Název projektu anglicky

Automata for Decision Procedures and Verification

Anotace anglicky

Research in finite automata is constantly delivering results potentially useful in a wide range of applications in automated reasoning, verification, language processing, databases, web technologies, etc. The practical impact of these results is, however, limited by the insufficient scalability of automata technology. Since the efficiency problems are rooted in the very basic concepts of automata technology, the needed improvement can be achieved only through substantially novel approaches to classical automata problems. We believe that the needed novel insights and techniques can be found by combining the traditional automata methods with advances in automated reasoning and verification, such as lazy evaluation, symbolic representation, abstraction, and heuristics from SAT/SMT solving. Our motivation is tightly connected with applications of automata, especially in string analysis, shape analysis, and termination / liveness analysis, where we wish to demonstrate usefulness of our new automata techniques.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 1. 2019

Ukončení řešení

31. 12. 2023

Poslední stav řešení

—

Poslední uvolnění podpory

30. 4. 2021

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP22-GA0-GA-R

Datum dodání záznamu

22. 2. 2022

Celkové uznané náklady

8 460 tis. Kč

Výše podpory ze státního rozpočtu

6 551 tis. Kč

Ostatní veřejné zdroje financování

1 909 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč