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

Statements

Subject Item
n2:GA201%2F03%2F1161
rdf:type
n17:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA201/03/1161
dcterms:description
Návrh je motivován jednou z živých oblastí současného výzkumu týkajícího se formální verifikace (a tedy i modelování a analýzy) nekonečně stavových souběžných (concurrent) systémů, kde verifikací se rozumí (zkoumání rozhodnutelnosti a složitosti)ověřování jistých sémantických ekvivalencí těchto systémů a jejich temporálně logických vlastností. V poslední době bylo v dané oblasti dosaženo zajímavých výsledků,např.\,pro kalkuly BPA, BPP, PA, PDA a Petriho sítě, k nimž přispěly i grantové projektyGAČR reg.č. 201/93/2123, 210/97/0456 a 210/00/0400 řešené týmem, který předkládá tento návrh. Hlavním cílem navrhovaného projektu je systematicky prozkoumat zmíněné a příbuzné modely a zaměřit se na charakterizaci rozhodnutelných podtříd vzhledem kběžným sémantickým ekvivalencím (a k adekvátním předuspořádáním), na jejich vzájemné vztahy a expresibilitu (včetně testování regularity a možností konečné charakterizace) a na rozhodnutelné modální a temporální logiky, či jejich rozumné fragmenty. Dále This project proposal is motivated by one of the current research trends in concurrency theory, i.e. by modelling, analysis and verification of concurrent infinite state systems. Verification is understood as (an examination of possibly algorithmic)checking of semantic equivalences between these systems (processes) or checking their properties expressed in suitable modal logics etc. Recently, some interesting results have been achieved in this area, e.g. for calculi BPA, PDA, BPP, PA and Petrinets; some contributions were made by members of the team submitting this proposal. The main goal is to investigate the mentioned and related classes with aims to characterise (sub)classes w.r.t. decidability of (some) equivalences and preorders, todescribe their mutual relationship and relative expressibility (incl. regularity and so called characterisations w.r.t. preorders), and to study complexity of respective decision algorithms. Also it is suggested to study decidability and complexity
dcterms:title
Verification of infinite-state systems Verifikace nekonečně stavových systémů
skos:notation
GA201/03/1161
n3:aktivita
n16:GA
n3:celkovaStatniPodpora
n10:celkovaStatniPodpora
n3:celkoveNaklady
n10:celkoveNaklady
n3:datumDodatniDoRIV
2009-01-15+01:00
n3:druhSouteze
n12:VS
n3:duvernostUdaju
n5:S
n3:fazeProjektu
n20:33432788
n3:hlavniObor
n11:JC
n3:hodnoceniProjektu
n6:V
n3:kategorie
n21:ZV
n3:klicovaSlova
Neuvedeno.
n3:partnetrHlavni
n13:orjk%3A14330
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
1
n3:pocetVysledkuRIV
52
n3:pocetZverejnenychVysledkuVRIV
52
n3:rokUkonceniPodpory
n7:2005
n3:rokZahajeniPodpory
n7:2003
n3:sberDatUcastniciPoslednihoRoku
n7:2006
n3:sberDatUdajeProjZameru
n7:2006
n3:soutez
n18:SGA02003GA-ST
n3:statusZobrazovaneFaze
n15:DUU
n3:typPojektu
n4:P
n3:vedlejsiObor
n11:BA
n3:zhodnoceni+vysledku+projektu+dodavatelem
Main results of the project contribute to the area of basic research in a theory infinite-state concurrent systems. Some both standard and originally introduced models of  processes have been investigated and their properties have been studied including Hlavní výsledky patří do oblasti základního výzkumu v oblasti formální verifikace nekonečně stavových souběžných (concurrent) systémů, a to jak pro standardní modely procesů, tak i jejich rozšíření. Na těchto třídách procesů byly studovány zejména problé
n3:zivotniCyklusProjektu
n9:ZBKU