Project information
Automatic model analysis by state space exploration
- Project Identification
- GP201/07/P035
- Project Period
- 1/2007 - 12/2009
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Postdoctoral projects
- 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
2009
-
EMMA: Explicit Model Checking Manager (Tool Presentation)
Model Checking Software, year: 2009
2008
-
Complementarity of Error Detection Techniques
Parallel and Distributed Methods in verifiCation (PDMC 2008), year: 2008
-
Estimating State Space Parameters
Year: 2008, type: Appeared in Conference without Proceedings
-
Fighting State Space Explosion: Review and Evaluation
Formal Methods for Industrial Critical Systems, year: 2008
-
Model Classifications and Automated Verification
Formal Methods for Industrial Critical Systems, year: 2008
-
Properties of State Spaces and Their Applications
International Journal on Software Tools for Technology Transfer (STTT), year: 2008, volume: 10, edition: 5
2007
-
BEEM: Benchmarks for Explicit Model Checkers
Model Checking Software, year: 2007
-
Predicate Abstraction with Under-Approximation Refinement
Logical Methods in Computer Science, year: 2007, volume: 3, edition: 1