Praktická verifikace programů s použitím kombinace statické a dynamické analýzy

Název projektu anglicky
Practical Program Verification Using Combination of Static and Dynamic Analysis
Anotace anglicky
Software is now used in critical systems, where errors occurring at runtime may have negative consequences. Program verification is one approach to detection of possible errors. Although great advances have been made in recent years, the state-of-the-artverification techniques still have important limitations. The goal of this project is to improve scalability and performance of program verification in the context of the Java Pathfinder framework. We will design hybrid analyses based on specific combinations of static and dynamic analysis, and use them to optimize Java Pathfinder. All the proposed techniques will be evaluated on multi-threaded Java programs from well-known benchmark suites.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
IN - Informatika
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>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Projekt přispěl k zlepšení technik verifikace programů kombinací metod statické a dynamické analýzy. Výsledky, dosažené i ve spolupráci se studenty a zahraničním odborníkem, byly publikovány na několika solidních mezinárodních konferencích a v časopise ?

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
CEP16-GA0-GP-U/01:1
Datum dodání záznamu
6. 5. 2016

Podobné projekty(10)