Efficient Finite Automata for Automated Reasoning
Project goals
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.
Keywords
finite automatalogicautomated reasoningformal verificationprogram analysisshape analysisstring program analysissecurity
Public support
Provider
Ministry of Education, Youth and Sports
Programme
ERC CZ
Call for proposals
SMSM2019LL001
Main participants
Vysoké učení technické v Brně / Fakulta informačních technologií
Contest type
VS - Public tender
Contract ID
MSMT-35696/2019-1
Alternative language
Project name in Czech
Efektivní konečné automaty pro automatické usuzování
Annotation in Czech
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ů.
Scientific branches
Solution timeline
Realization period - beginning
Jan 1, 2020
Realization period - end
Dec 31, 2024
Project status
K - Ending multi-year project
Latest support payment
Jan 10, 2024
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-MSM-LL-R
Data delivery date
Feb 19, 2024
Finance
Total approved costs
35,585 thou. CZK
Public financial support
35,585 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
35 585 CZK thou.
Public support
35 585 CZK thou.
100%
Provider
Ministry of Education, Youth and Sports
OECD FORD
Automation and control systems
Solution period
01. 01. 2020 - 31. 12. 2024