Verifikace a hledání chyb v pokročilém softwaru
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 21 (SGA0201700001)
Hlavní účastníci
Univerzita Karlova / Matematicko-fyzikální fakulta<br>Vysoké učení technické v Brně / Fakulta informačních technologií
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
17-12465S
Alternativní jazyk
Název projektu anglicky
Verification and Bug Hunting for Advanced Software
Anotace anglicky
Automated software verification and bug hunting are hot topics in both industry and academia. Indeed, they can save a lot of money and, in case of safety-critical software, even human lives. This project aims at new automated methods of static formal verification (based on approaches such as symbolic verification and automated abstraction) as well as extrapolating dynamic analysis and advanced testing of programs that use several classes of advanced programming constructions. In particular, the project concentrates on pointer programs, concurrent programs (including cloud programs), and container programs. While these areas are to some degree independent, there is also a lot of overlap among them: On the one hand, one needs to consider various combinations of the mentioned constructions (e.g., concurrent pointer programs). On the other hand, one needs to solve similar problems for all of them. An important example of the latter considered in the project is dealing with open programs, i.e., program fragments that the programmers need to verify despite their environment is unknown.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt se zabýval metodami statické a dynamické analýzy programů s pointry, concurrency, a kontainery. Bylo dosaženo řady výzkumných výsledků popsaných v projektu, které byly publikovány v kvalitních konferencích a časopisech. Výzkum vedl i k několika oceněním.
Termíny řešení
Zahájení řešení
1. 1. 2017
Ukončení řešení
31. 12. 2019
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
26. 4. 2019
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
CEP20-GA0-GA-U/02:1
Datum dodání záznamu
23. 7. 2020
Finance
Celkové uznané náklady
8 912 tis. Kč
Výše podpory ze státního rozpočtu
7 448 tis. Kč
Ostatní veřejné zdroje financování
1 396 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč