Informace o projektu
Verifikace a analýza velmi velkých počítačových systémů
- Kód projektu
- GA201/09/1389
- Období řešení
- 1/2009 - 12/2011
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- verifikace, ověřování modelu, paralelní algoritmy
Publikace
Počet publikací: 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, rok: 2010
-
ProbDiVinE 2.0
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
-
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), rok: 2010
-
Using Strategy Improvement to Stay Alive
Games, Automata, Logics and Formal Verification (GandALF) 2010, rok: 2010
-
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P
Reachability Problems, rok: 2010
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
-
CoIn Tool Set
Rok: 2009