CAQtuS: Počítačem podporovaná kvantitativní syntéza

Poskytovatel

Grantová agentura České republiky

Program

Juniorské granty

Veřejná soutěž

SGA0202000002

Hlavní účastníci

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

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

20-02328Y

Název projektu anglicky

CAQtuS: Computer-Aided Quantitative Synthesis

Anotace anglicky

Computer-aided synthesis is an emerging paradigm in system design that automatically transforms a formal specification into a system that is correct by construction. The synthesis mitigates the cost of the classical design loop consisting of implementation, followed by the verification phase. Recently, new challenges in system design have arisen from applications requiring quantitative reasoning, which include, e.g., synthesis of probabilistic programs/models, approximate computing, or construction of biochemical models. The existing synthesis methods do not, however, sufficiently support quantitative reasoning. The aim of this project is to develop theoretical foundations underlying new scalable methods for quantitative synthesis. We will focus on leveraging syntax-guided synthesis and on the so far unexplored idea of integrating advanced quantitative formal methods with search-based and inductive synthesis techniques. The success of this project will fundamentally extend capabilities of existing synthesis methods and advance engineering processes towards automated system design.

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

Ukončení řešení

31. 12. 2022

Poslední stav řešení

—

Poslední uvolnění podpory

8. 4. 2022

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

CEP23-GA0-GJ-R

Datum dodání záznamu

26. 6. 2023

Celkové uznané náklady

6 075 tis. Kč

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

6 075 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč