Project information
Project information
Verification and Analysis of Large-Scale Computer Systems
- Project Identification
- GA201/09/1389
- Project Period
- 1/2009 - 12/2011
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- verification, model-checking, parallel algorithms
Publications
Total number of publications: 53
2010
-
DiVinE 2.4
Year: 2010
-
DiVinE: Parallel Distributed Model Checker (Tool paper)
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), year: 2010
-
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), year: 2010
-
E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis
Year: 2010
-
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), year: 2010
-
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges
Year: 2010, type:
-
High-performance analysis of biological systems dynamics with the DiVinE model checker
Briefings in Bioinformatics, year: 2010, volume: 11, edition: 3
-
MWC-DiVinE
Year: 2010
-
Optimal Path Planning under Temporal Logic Contstraints
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010), year: 2010
-
Parallel Partial Order Reduction with Topological Sort Proviso
Software Engineering and Formal Methods (SEFM 2010), year: 2010