Project information
Automatic model analysis by state space exploration

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.

More info