Informace o projektu
Automatizovaná formální verifikace s využitím soudobého hardware
- Kód projektu
- GP201/09/P497
- Období řešení
- 1/2009 - 12/2011
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Postdoktorské projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
Publikace
Počet publikací: 25
2010
-
High-performance analysis of biological systems dynamics with the DiVinE model checker
Briefings in Bioinformatics, rok: 2010, ročník: 11, vydání: 3
-
Parallel Partial Order Reduction with Topological Sort Proviso
Software Engineering and Formal Methods (SEFM 2010), rok: 2010
-
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology
Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, rok: 2010
-
Scalable shared memory LTL model checking
International Journal on Software Tools for Technology Transfer (STTT), rok: 2010, ročník: 12, vydání: 2, DOI
2009
-
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
Formal Methods and Software Engineering, rok: 2009
-
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, rok: 2009
-
Cluster-Based I/O-Efficient LTL Model Checking
24th IEEE/ACM International Conference on Automated Software Engineering, rok: 2009
-
Computational Analysis of Large-Scale Multi-Affine ODE Models
International Workshop on High Performance Computational Systems Biology, rok: 2009
-
CUDA Accelerated LTL Model Checking
Proceedings of the 15th International Conference on Parallel and Distributed Systems, rok: 2009
-
DiVinE 2.0
Rok: 2009