Title
Modelování a verifikace paralelních systémů
Code
GAP202/11/0340
Summary
For scientific and engineering computations, processing of large data structures, etc., various types of parallel and distributed systems are increasingly used, including parallel supercomputers, networks of computers, multicore processors, or graphic chips of desktop computers. Design, implementation and verification of parallel systems is a live research area, with many open theoretical and methodological problems.
The general goal of this project is to contribute to this area with new theoretical results and practically oriented methods. One of our concrete subgoals is to concentrate on some open problems of automated verification, e.g. those concerning decidability and complexity of behavioural equivalences. Another concrete subgoal is to explore possibilities of modelling parallel algorithms on a suitable level of abstraction; in particular, we have Petri net based formalisms in mind. As one of concrete outcomes of
the project, we plan to develop a software tool, based on solid theoretical foundations, which makes modelling, analysis and verification of parallel systems easier.
Start year
2011
End year
2014
Provider
Grantová agentura ČR
Category
Obecná forma
Type
Standardní projekty
Solver
Information system of research, development and innovation (in Czech)