This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n10http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n19http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n22http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n15http://linked.opendata.cz/resource/domain/vavai/subjekt/
n17http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n11http://linked.opendata.cz/ontology/domain/vavai/
n20http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F09%2FP531/
skoshttp://www.w3.org/2004/02/skos/core#
n21http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n6http://linked.opendata.cz/resource/domain/vavai/soutez/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n16http://linked.opendata.cz/resource/domain/vavai/aktivita/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GP201%2F09%2FP531
rdf:type
n11:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GP201/09/P531
dcterms:description
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. Use of the dynamic data structures is a common technique used in all bigger software systems. On the other hand, searching for errors in such systems is very complicated thanks to the fact that the data structure itself is hidden behind the tricky pointer manipulations. Hence the automated methods for such programs are greatly welcome. The whole verification problem is much more complicated in the case, where several concurrent processes use a shared memory. Bad interference of one of these processes into a dynamic data structure inside the shared memory can interferes the other processes. Another complication for the verification is recursive functions calls. Despite of the huge progress in this area, a reliable verification tool for common use is still far away. Therefore the goal of the proposed basic research project is development of methods for this class of programs.
dcterms:title
Developement of methods for automatic verification of programs with dynamic data structures Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami
skos:notation
GP201/09/P531
n3:aktivita
n16:GP
n3:celkovaStatniPodpora
n14:celkovaStatniPodpora
n3:celkoveNaklady
n14:celkoveNaklady
n3:datumDodatniDoRIV
2015-03-02+01:00
n3:druhSouteze
n10:VS
n3:duvernostUdaju
n20:S
n3:fazeProjektu
n13:91732602
n3:hlavniObor
n21:JC
n3:hodnoceniProjektu
n18:U
n3:kategorie
n17:ZV
n3:klicovaSlova
formální verifikace; model checking; nekonečně stavové systémy; dynamické datové struktury
n3:partnetrHlavni
n15:orjk%3A26230
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
9
n3:pocetZverejnenychVysledkuVRIV
9
n3:posledniUvolneniVMinulemRoce
2011-04-16+02:00
n3:prideleniPodpory
n22:201%2F09%2FP531
n3:sberDatUcastniciPoslednihoRoku
n12:2011
n3:sberDatUdajeProjZameru
n12:2012
n3:soutez
n6:SGA02009GA1PD
n3:statusZobrazovaneFaze
n4:DUU
n3:typPojektu
n9:P
n3:ukonceniReseni
2011-12-31+01:00
n3:zahajeniReseni
2009-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
The project gone according to plan both in terms of expertise and in terms of disbursement of funds. Řešení projektu proběhlo podle plánu jak z hlediska odborného tak i z hlediska čerpání finančních prostředků.
n3:zivotniCyklusProjektu
n19:ZBKU
n3:klicoveSlovo
nekonečně stavové systémy model checking formální verifikace