Project information
Automated formal verification using modern hardware
- Project Identification
- GP201/09/P497
- Project Period
- 1/2009 - 12/2011
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Postdoctoral projects
- MU Faculty or unit
- Faculty of Informatics
Publications
Total number of publications: 25
2010
-
High-performance analysis of biological systems dynamics with the DiVinE model checker
Briefings in Bioinformatics, year: 2010, volume: 11, edition: 3
-
Parallel Partial Order Reduction with Topological Sort Proviso
Software Engineering and Formal Methods (SEFM 2010), year: 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, year: 2010
-
Scalable shared memory LTL model checking
International Journal on Software Tools for Technology Transfer (STTT), year: 2010, volume: 12, edition: 2, DOI
2009
-
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
Formal Methods and Software Engineering, year: 2009
-
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, year: 2009
-
Cluster-Based I/O-Efficient LTL Model Checking
24th IEEE/ACM International Conference on Automated Software Engineering, year: 2009
-
Computational Analysis of Large-Scale Multi-Affine ODE Models
International Workshop on High Performance Computational Systems Biology, year: 2009
-
CUDA Accelerated LTL Model Checking
Proceedings of the 15th International Conference on Parallel and Distributed Systems, year: 2009
-
DiVinE 2.0
Year: 2009