Nekonečně stavové souběžné systémy - modely a verifikace

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 1 (SGA02002GA-ST)

Hlavní účastníci

Masarykova univerzita / Fakulta informatiky

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Infinite state concurrent systems - models and verification

Anotace anglicky

This project proposal is motivated by one of the concurrent research trends in concurrency theory, e.i. 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 Petri nets; 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, to describe their relationships, to study regularity conditions, and to examine the possibilities of their so called characterisations w.r.t. relevant preorders. Also it is suggested to study decidability issues of modal a temporal logics (or their reasonable fragments)

Kategorie VaV

—

CEP - hlavní obor

JC - Počítačový hardware a software

CEP - vedlejší obor

BA - Obecná matematika

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Odborný přínos projektu je značný, což je doloženo seznamem 28 publikovaných prací. Údaje řešitele v závěrečné kartě jsou správné. Výsledky projektu byly použity při výuce doktorandů.

Zahájení řešení

1. 1. 2000

Ukončení řešení

1. 1. 2002

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP/2003/GA0/GA03GA/U/N/9:7

Datum dodání záznamu

19. 5. 2008

Celkové uznané náklady

2 793 tis. Kč

Výše podpory ze státního rozpočtu

1 669 tis. Kč

Ostatní veřejné zdroje financování

1 699 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč