Practical Program Verification Using Combination of Static and Dynamic Analysis
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 14 (SGA0201300006)
Main participants
—
Contest type
VS - Public tender
Contract ID
13-12121P
Alternative language
Project name in Czech
Praktická verifikace programů s použitím kombinace statické a dynamické analýzy
Annotation in Czech
Software se nyní používá v kritických systémech, kde výskyt chyb za běhu programu může mít velmi negativní důsledky. Verifikace programů je jeden z přístupů pro detekci možných chyb. Přes značný pokrok dosažený v poslední době mají metody verifikace stále zásadní omezení. Cílem projektu je zlepšit škálovatelnost a výkon verifikace programů v kontextu nástroje Java Pathfinder. Navrhneme hybridní analýzy založené na kombinacích statické a dynamické analýzy, a použijeme je na optimalizaci nástroje Java Pathfinder. Všechny techniky budou otestovány na více-vláknových programech v jazyce Java ze známých sad.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project has contributed to an improvement of program verification techniques, by combining methods of static and dynamic analyses. The results, achieved also with students and a foreign specialist, have been published at several solid international conferences and in the journal Science of Computer Programming. Software packages implementing the developed methods have been made public.
Solution timeline
Realization period - beginning
Feb 1, 2013
Realization period - end
Dec 31, 2015
Project status
U - Finished project
Latest support payment
Apr 10, 2015
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP16-GA0-GP-U/01:1
Data delivery date
May 6, 2016
Finance
Total approved costs
1,178 thou. CZK
Public financial support
1,178 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK