Informace o projektu
Analýza konkurentních nekonečně stavových systémů

Logo poskytovatele
Kód projektu
GA201/93/2123
Období řešení
1/1993 - 1/1995
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Fakulta informatiky
WWW stránky projektu
http://www.fi.muni.cz/usr/kretinsky/projects/GACR201932123.html
Spolupracující organizace
Ostravská univerzita v Ostravě

Analýza a verifikace vlastností konkurentních, konečně-stavových systémů je díky konečné množině stavů algoritmicky zvládnutelná, neboť ji lze provádět prohledáváním celého stavového prostoru procesu. Obecně jistě nelze očekávat, že vlastnosti nekonečně stavových problémů budou rozhodnutelné, avšak některé nejnovější výsledky jsou do značné míry překvapivé (např. rozhodnutelnost bisimulativní ekvivalence pro bezkontextové procesy) a nabízí celou řadu nových problémů. Návrh je zaměřen na studium otázek (ne)rozhodnutelnosti dalších tříd nekonečně stavových procesů a otázek (ne)rozhodnutelnosti dalších vlastností bezkontextových procesů. Současně se navrhuje zkoumat notaci, jež by umožnila vhodně reprezenovat nekonečné množiny stavů pro omezené třídy modelů (s pespektivním cílem tvorby experimentálního nástroje). Součástí návrhu je provedení analýzy typických případů procesů (case study) pomocí vhodného softwarového nástroje.

Publikace

Počet publikací: 16


Předchozí 1 2 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info