About: Verification of infinite-state systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Verification of infinite-state systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/03/1161
Description	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 (en) 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
Title	Verification of infinite-state systems (en) Verifikace nekonečně stavových systémů
skos:notation	GA201/03/1161
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F03%2F1161/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F03%2F1161/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2009-01-15 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	33432788
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	Neuvedeno. (en)
http://linked.open...ep/partnetrHlavni	Fakulta informatiky
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	1 (xsd:int)
http://linked.open.../pocetVysledkuRIV	52 (xsd:int)
http://linked.open...enychVysledkuVRIV	52 (xsd:int)
http://linked.open...okUkonceniPodpory	2005
http://linked.open...okZahajeniPodpory	2003
http://linked.open...iciPoslednihoRoku	2006
http://linked.open...atUdajeProjZameru	2006
http://linked.open.../vavai/cep/soutez	SGA02003GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open.../cep/vedlejsiObor	BA - Obecná matematika
http://linked.open...jektu+dodavatelem	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é (cs) 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 (en)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2003/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2003/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2004/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2004/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2005/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2005/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2006/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2006/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2007/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F03%2F1161/2007/orjk%3A27240

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 84 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software