Project information
Algorithmic Verification Boundaries for Infinite-State Systems
- Project Identification
- GA201/97/0456
- Project Period
- 1/1997 - 12/1999
- 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/GACR201970456.html
- Cooperating Organization
-
Technical University Ostrava
- Responsible person 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
Publications
Total number of publications: 28
1997
-
Adding Time via Timed Transitions to Concurrent Constraint Programming
ERCIM/COMPULOG Workshop, year: 1997, number of pages: 12 s.
-
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Electronic Notes in Theoretical Computer Science, year: 1997, volume: 1997, edition: 5
-
Bisimilarity of Processes with Finite-State Systems
Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), year: 1997
-
Bisimilarity of Processes with Finite-state Systems
FI MU Report Series, year: 1997, volume: 1997, edition: RS-97-02
-
Bisimilarity of Processes with Finite-State Systems.
Electronic Notes in Theoretical Computer Science, year: 1997, volume: 1997, edition: 9
-
How to Parallelize Sequential Processes
Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97), year: 1997
-
On Finite Representations of Infinite-State Behaviours.
Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97), year: 1997
-
Temporal Synchronous Concurrent Constraint Programming
COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems, year: 1997, number of pages: 16 s.