Analysis of Concurrent Infinite State Systems
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Masarykova univerzita
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Analýza konkurentních nekonečně stavových systémů
Annotation in Czech
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í ekvivalencepro bezkontextové procesy) a nabízí celou řadu nových problémů. Návrh je zaměřen na studium oá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říy 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.
Scientific branches
R&D category
—
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
JC - Computer hardware and software
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
—
Project results evaluation
XXX
Solution timeline
Realization period - beginning
Jan 1, 1993
Realization period - end
Jan 1, 1995
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/1996/GA0/GA06GA/V/1:1
Data delivery date
—
Finance
Total approved costs
130 thou. CZK
Public financial support
260 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK