Automatická inkrementální verifikace a odstraňování chyb pro souběžné systémy
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 22 (SGA0201800001)
Hlavní účastníci
Univerzita Karlova / Matematicko-fyzikální fakulta
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
18-17403S
Alternativní jazyk
Název projektu anglicky
Automated Incremental Verification and Debugging of Concurrent Systems
Anotace anglicky
Discovering possible errors in concurrent systems, which are now prevalent, is very important but also very difficult and tedious. Lot of work has been already done in automated program verification and debugging, but there still remain many problems that are not fully solved. The goal of this project is to design, implement, and evaluate incremental methods that would enable continuous on-the-fly detection and repair of errors during the program development. Main challenges include the need to cope with incomplete programs and the design of compact representation of program behavior that supports incremental refinement. Proposed techniques will combine static analysis, dynamic analysis, state space traversal and techniques of program synthesis. The primary target domain consists of large systems written in mainstream object-oriented programming languages, but we also see possible applications in teaching.
Vědní obory
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
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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
Termíny řešení
Zahájení řešení
1. 1. 2018
Ukončení řešení
31. 12. 2020
Poslední stav řešení
—
Poslední uvolnění podpory
12. 5. 2020
Dodání dat do CEP
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
CEP21-GA0-GA-R/11:1
Datum dodání záznamu
22. 2. 2021
Finance
Celkové uznané náklady
2 726 tis. Kč
Výše podpory ze státního rozpočtu
2 090 tis. Kč
Ostatní veřejné zdroje financování
636 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč