Research Project Results

 

Automatic model analysis by state space exploration

Project Identification:GP201/07/P035
MU Investigator:Assoc. Prof. Mgr. Radek Pelánek, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2007 - 12/2009
Investor/Programme:Czech Science Foundation / Post-graduate (doctorate) grants-

Results: (Czech only)

Cílem projektu je vytvořit databázi modelů a zkoumat vlastnosti jejich stavových prostorů, vyvíjet nové techniky analýzy založené na procházení stavových prostorů, implementovat je a experimentálně vyhodnocovat. Výstupy projektu budou veřejně dostupné pomocí internetového portálu projektu.


Publications:

 
2009

PELÁNEK, Radek - ROSECKÝ, Václav.
EMMA: Explicit Model Checking Manager (Tool Presentation). In Model Checking Software. Německo : Springer, 2009. ISBN 978-3-642-02651-5, pp. 169-173. 2009, Grenoble.


more

 
2008

PELÁNEK, Radek - ROSECKÝ, Václav - MORAVEC, Pavel.
Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko : Elsevier, 2008. 14 pp. 2008, Budapešť, Německo.


more

 

ŠIMEČEK, Pavel - PELÁNEK, Radek.
Estimating State Space Parameters. 2008.


more

 

PELÁNEK, Radek.
Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo : Springer, 2008. ISBN 3-642-03239-7, 15 pp. 2008, L'Aquila, Itálie.


more

 

PELÁNEK, Radek.
Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo : Springer, 2008. ISBN 978-3-540-79706-7, pp. 149-163. 2007, Berlín, Německo.


more

 

PELÁNEK, Radek.
Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2008, vol. 10, no. 5, pp. 443-454.


more

 
2007

PELÁNEK, Radek.
BEEM: Benchmarks for Explicit Model Checkers. In Model Checking Software. Německo : Springer, 2007. ISBN 3-540-73369-8, pp. 263-267. 2007, Berlín, Německo.


more

 

PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science, Germany, Technical University of Braunschweig, Germany. ISSN 1860-5974, 2007, vol. 3, no. 1, pp. 1-22.


more