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
- University Development Fund
- 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.