Project details


Automatic model analysis by state space exploration

Project Identification:GP201/07/P035
Project Period:1/2007 - 12/2009
Investor:link to a new windowCzech Science Foundation
Programme / Project Type:Postdoctoral projects -
MU Faculty/Unit:
Faculty of Informatics
MU Investigator:Assoc. Prof. Mgr. Radek Pelánek, Ph.D.
Field:IN - Informatics (I - 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.