Project information
Automatic model analysis by state space exploration

Information

This project doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official project website can be found on muni.cz.
Investor logo
Project Identification
GP201/07/P035
Project Period
1/2007 - 12/2009
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics
Keywords
modeling, simulation, verification, state space

The project focuses on three types of modeling formalisms: extended finite machines, system dynamics models, and agent based models.

Results

Publications

Total number of publications: 8


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