Research group VERIF

Last update 15 December, 2009

We are a small part of the division Embedded Systems of the Center of Applied Cybernetics (CAK) http://c-a-k.cz/ (which is a research center supported by the Czech Ministry of Education, project 1M0567, planned for years 2005 - 2009)

Short description:
The group consists of three people in Dept of Computer Science, FEI VSB-TU Ostrava, who work in the research area which can be classified as verification of systems. The main current interest focuses on algorithms deciding bisimilarity on various classes of processes, and related questions.

Current members:

Activities (in CAK, and related to CAK, since 2005)

2005

2006

2007

2008

2009

2010