Go to main content | Go to main menu | Go to search

Project information
Analysis of Concurrent Infinite State Systems

Information

This project doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official project website can be found on muni.cz.
Investor logo
Project Identification
GA201/93/2123
Project Period
1/1993 - 1/1995
Investor / Pogramme / Project type
Czech Science Foundation
  • Standard Projects
MU Faculty or unit
Faculty of Informatics
Project Website
http://www.fi.muni.cz/usr/kretinsky/projects/GACR201932123.html
Cooperating Organization
University of Ostrava
  • Responsible person prof. RNDr. Petr Jančar, CSc.

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.

Publications

Total number of publications: 16

1995

1994

1993

Previous 1 2 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info