Efektivní konečné automaty pro automatické usuzování

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

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.

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 <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
JD - Využití počítačů, robotika a její aplikace

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt otevřel nové cesty ke zvýšení efektivity technologie konečných automatů, jednoho z nejzákladnějších modelů výpočetního systému v informatice, který byl zdánlivě již dobře pochopen, a otevřel nové možnosti praktického využití této technologie v automatickém formálním usuzování, v analýze bezpečnosti webových aplikací, v detekci regulárních vzorů, v analýze kvantových programů a výpočetních systémů obecně.

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
CEP25-MSM-LL-U
Datum dodání záznamu
27. 6. 2025

Podobné projekty(10)