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

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

Namespace Prefixes

PrefixIRI
n18http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n21http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
dctermshttp://purl.org/dc/terms/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n19http://linked.opendata.cz/resource/domain/vavai/subjekt/
n15http://linked.opendata.cz/ontology/domain/vavai/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n7http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n5http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F03%2F0509/
n12http://linked.opendata.cz/resource/domain/vavai/soutez/
n8http://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/
n11http://linked.opendata.cz/resource/domain/vavai/aktivita/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GA201%2F03%2F0509
rdf:type
n15:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA201/03/0509
dcterms:description
Projekt je zaměřen na analýzu a vývoj nových metod pro efektivní verifikaci souběžných systémů. Hlavní cíle a výzkumné priority lze shrnout takto: 1. Experimentální prostředí pro vyhodnocování verifikačních algoritmů. Zejména se jedná o vývoj nástrojůpro snadnější implementaci nových a modifikovaných algoritmů (např. v distribuovaném prostředí), pro integraci algoritmů a srovnání jejich praktické účinnosti. 2. Formální metody pro výpočetně těžké verifikační problémy. Zejména se jedná o výzkumomezených modelovacích jazyků z hlediska jejich vyjadřovací síly, které by však vedly k výpočetně efektivnějším verifikačním algoritmům (např. 1-safe Petri Nets, minimalizované nedeterministické konečné automaty). 3. Analýza a vývoj nových metod proexplictní a symbolickou verifikaci. 4. Dekompozice a paralelizace vybraných verifikačních problémů. The proposed project aims at development and analyzis of new original methods for effective verification of cocnurrent systems. Main targets of the project can be summarized as follows: 1. Experimental environment for evaluation of verificationalgorithms. In particular, tools for rapid implementation of new or modified algorithms (e.g. in a distributed environment), their integration, and comparison of their computational tractability will be developed. 2. Formal methods for computationallyhard verification problems. In particular, expressivelly restricted model languages which allow for more effective verification algorithms will be investigated (e.g. 1-safe Petri Nets, minimized non-deterministic finite automata). 3. Analyzis anddevelopment of new methods for explicit and symbolic verification. 4. Decomposition and parallelization of selected verification problems.
dcterms:title
Automatizovaná verifikace paralelních a distribuovaných systémů Automated Verification of Parallel and Distributed Systems
skos:notation
GA201/03/0509
n3:aktivita
n11:GA
n3:celkovaStatniPodpora
n5:celkovaStatniPodpora
n3:celkoveNaklady
n5:celkoveNaklady
n3:datumDodatniDoRIV
2009-01-15+01:00
n3:druhSouteze
n14:VS
n3:duvernostUdaju
n7:S
n3:fazeProjektu
n10:33432739
n3:hlavniObor
n13:BA
n3:hodnoceniProjektu
n4:V
n3:kategorie
n9:ZV
n3:klicovaSlova
Neuvedeno.
n3:partnetrHlavni
n19:orjk%3A14330
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
49
n3:pocetZverejnenychVysledkuVRIV
49
n3:rokUkonceniPodpory
n6:2005
n3:rokZahajeniPodpory
n6:2003
n3:sberDatUcastniciPoslednihoRoku
n6:2006
n3:sberDatUdajeProjZameru
n6:2006
n3:soutez
n12:SGA02003GA-ST
n3:statusZobrazovaneFaze
n8:DUU
n3:typPojektu
n21:P
n3:vedlejsiObor
n13:JC
n3:zhodnoceni+vysledku+projektu+dodavatelem
The main achievements of the project are in the development of new original  methods and techniques for the automated verification of large-scale parallel  and distributed systems, with emphasis on practical aspects of their  application to real-life sys Hlavní výsledky projektu jsou nové původní metody a techniky pro automatizovanou verifikaci velkých paralelních a distribuovaných systémů, s důrazem na praktičnost jejich aplikace na realistické systémy, jejich optimalizace a vytvoření softwarové podpory
n3:zivotniCyklusProjektu
n18:ZBKU