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
-
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
-
ProbDiVinE 2.0
Year: 2010
-
Scalable shared memory LTL model checking
International Journal on Software Tools for Technology Transfer (STTT), year: 2010, volume: 12, edition: 2, DOI
-
Translation of LTL to Büchi Automata: Improved Once Again
Proceedings of 9th International Summer School on Modelling and Verifying Parallel Processes 2010 (MOVEP 2010), year: 2010
-
Using Strategy Improvement to Stay Alive
Games, Automata, Logics and Formal Verification (GandALF) 2010, year: 2010
-
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P
Reachability Problems, year: 2010
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
-
CoIn Tool Set
Year: 2009