Efficient Finite Automata for Automated Reasoning

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

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ů.

R&D category
ZV - Basic research
OECD FORD - main branch
20205 - Automation and control systems
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
JD - Use of computers, robotics and its application

Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The project pioneered new means of enhancing practical applicability of finite automata, one of the basic and seemingly well understood models of computing systems in computer science, and opened their new application possibilities in automated reasoning, for instance in analysis of security of web application, in analysis of quantum programs and of computing systems in general, or in regular pattern matching.

Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP25-MSM-LL-U
Data delivery date
Jun 27, 2025

Similar projects(10)