Efektivní konečné automaty pro automatické usuzování
Cíle projektu
Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzorů. Budou zkoumány jak obecné techniky pro práci s automatovými formálními modely, včetně souvisejících teoretických otázek, tak jejich aplikace a specializace pro řešení konkrétních praktických problémů.
Klíčová slova
finite automatalogicautomated reasoningformal verificationprogram analysisshape analysisstring program analysissecurity
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
ERC CZ
Veřejná soutěž
SMSM2019LL001
Hlavní účastníci
Vysoké učení technické v Brně / Fakulta informačních technologií
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
MSMT-35696/2019-1
Alternativní jazyk
Název projektu anglicky
Efficient Finite Automata for Automated Reasoning
Anotace anglicky
This project aims at delivering a strong push towards unleashing the theoretical potential of finite automata in practical applications in automated reasoning such as software and hardware analysis and verification or pattern matching. Investigated will be general techniques for working with automata and related formal models, including related theoretical questions, as well as their applications in solving practical problems.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
20205 - Automation and control systems
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory
(dle převodníku)JD - Využití počítačů, robotika a její aplikace
Termíny řešení
Zahájení řešení
1. 1. 2020
Ukončení řešení
31. 12. 2024
Poslední stav řešení
K - Končící víceletý projekt
Poslední uvolnění podpory
10. 1. 2024
Dodání dat do CEP
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
CEP24-MSM-LL-R
Datum dodání záznamu
19. 2. 2024
Finance
Celkové uznané náklady
35 585 tis. Kč
Výše podpory ze státního rozpočtu
35 585 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
35 585 tis. Kč
Statní podpora
35 585 tis. Kč
100%
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
OECD FORD
Automation and control systems
Doba řešení
01. 01. 2020 - 31. 12. 2024