Project information

Application of formal methods in the verification of processes

Project Identification
FRVS/446/2005/G6
Project Period
1/2005 - 12/2005
Investor / Pogramme / Project type
Ministry of Education, Youth and Sports of the CR
MU Faculty or unit
Faculty of Informatics
Keywords
formal models, formal methods, verification, model checking

The project is aimed to apply formal methods in the verification
of processes.

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

More info