Výsledky výzkumného projektu

 

Automatická analýza modelů pomocí procházení stavového prostoru

Kód projektu:GP201/07/P035
Řešitel na MU:doc. Mgr. Radek Pelánek, Ph.D.
Fakulta/Pracoviště MU:Fakulta informatiky
Období řešení:1/2007 - 12/2009
Investor/program:Grantová agentura ČR / Postdoktorandské granty-

Výsledky:

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.


Publikace:

 
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, s. 169-173. 2009, Grenoble.


více

 
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 s. 2008, Budapešť, Německo.


více

 

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


více

 

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 s. 2008, L'Aquila, Itálie.


více

 

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, s. 149-163. 2007, Berlín, Německo.


více

 

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


více

 
2007

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


více

 

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


více