Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202300001

Hlavní účastníci

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

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

23-07565S

Název projektu anglicky

Representing Boolean Functions by a Self-Adaptable Data Structure

Anotace anglicky

We depend more and more on computer systems, so their correctness and efficiency are of paramount importance. The systems are getting more complex, their state spaces grow exponentially, and techniques for ensuring correctness do not scale. Therefore, bugs often escape into production, causing financial losses or fatalities. This project aims to develop novel methods to compactly handle gigantic state spaces of the systems. For that, I will build a bridge between the rich, but arcane, automata theory, concerned mostly with theoretical questions, and the more down-to-earth areas of solvers and formal verification, focused on real-world performance. In particular, I will connect the two areas to design new flexible and self-adaptable data structures that exploit the internal structure of state spaces for their compact representation. Building on those, I will develop tools able to handle state spaces of unprecedented size. The new paradigm will fundamentally change how state spaces are represented and power the production of fast, safe, and secure computer systems for the future.

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

Ukončení řešení

31. 12. 2025

Poslední stav řešení

K - Končící víceletý projekt

Poslední uvolnění podpory

29. 2. 2024

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-GA0-GA-R

Datum dodání záznamu

21. 2. 2025

Celkové uznané náklady

9 016 tis. Kč

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

7 995 tis. Kč

Ostatní veřejné zdroje financování

1 008 tis. Kč

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

0 tis. Kč