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:Post-graduate (doctorate) grants -
MU Faculty/Unit:
Faculty of Informatics
MU Investigator:Assoc. Prof. Mgr. Radek Pelánek, Ph.D.
Field:IN - Informatics (I - Informatics)
Publications/Results:more
Keywords:modeling, simulation, verification, state space
Annotation

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