Developement of methods for automatic verification of programs with dynamic data structures
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 9 (SGA02009GA1PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/09/P531
Alternative language
Project name in Czech
Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami
Annotation in Czech
Cílem projektu je rozvoj metod pro automatickou verifikaci programů s nekonečně stavovými prostory se zaměřením na programy s dynamickými datovými strukturami.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
—
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>)
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 gone according to plan both in terms of expertise and in terms of disbursement of funds.
Solution timeline
Realization period - beginning
Jan 1, 2009
Realization period - end
Dec 31, 2011
Project status
U - Finished project
Latest support payment
Apr 16, 2011
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
CEP12-GA0-GP-U/03:3
Data delivery date
May 2, 2016
Finance
Total approved costs
708 thou. CZK
Public financial support
708 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK