Informace o projektu
Meze algoritmické verifikovatelnosti nekonečně stavových systémů
- Kód projektu
- GA201/97/0456
- Období řešení
- 1/1997 - 12/1999
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- WWW stránky projektu
- http://www.fi.muni.cz/usr/kretinsky/projects/GACR201970456.html
- Spolupracující organizace
-
Vysoká škola báňská - Technická univerzita v Ostravě
- Odpovědná osoba prof. RNDr. Petr Jančar, CSc.
The project is motivated by a live current research area concerning analysis and verification of complex (infinite state) concurrent systems It is the area of boundaries for algorithmic verification, where verification means checking equivalencies of sys tems, their temporal logic properties etc. Recently, several interesting results have been obtained in the given area, e.g. for calculi BPA, BPP, and Petri nets, to which also the grant of the Czech Grant Agency, No. 201/93/2123, has contributed. The ma
Publikace
Počet publikací: 28
1997
-
Adding Time via Timed Transitions to Concurrent Constraint Programming
ERCIM/COMPULOG Workshop, rok: 1997, počet stran: 12 s.
-
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Electronic Notes in Theoretical Computer Science, rok: 1997, ročník: 1997, vydání: 5
-
Bisimilarity of Processes with Finite-State Systems
Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), rok: 1997
-
Bisimilarity of Processes with Finite-state Systems
FI MU Report Series, rok: 1997, ročník: 1997, vydání: RS-97-02
-
Bisimilarity of Processes with Finite-State Systems.
Electronic Notes in Theoretical Computer Science, rok: 1997, ročník: 1997, vydání: 9
-
How to Parallelize Sequential Processes
Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97), rok: 1997
-
On Finite Representations of Infinite-State Behaviours.
Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97), rok: 1997
-
Temporal Synchronous Concurrent Constraint Programming
COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems, rok: 1997, počet stran: 16 s.