Informace o projektu
Automatizovaná verifikace paralelních a distribuovaných systémů
- Kód projektu
- GA201/03/0509
- Období řešení
- 1/2003 - 12/2005
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- verification, model-checking, equivalence-checking, concurrent systems
Projekt je zaměřen na analýzu a vývoj nových metod pro efektivní verifikaci souběžných systémů.
Publikace
Počet publikací: 50
2005
-
DIVINE - The Distributed Verification Environment
In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), rok: 2005
-
Enhancing Random Walk State Space Exploration
Formal Methods for Industrial Critical Systems, rok: 2005
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Electronical Notes in Theoretical Computer Science, rok: 2005, ročník: 2005, vydání: 133
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005), rok: 2005
-
Introductory paper: Parallel and Distributed Model Checking
International Journal on Software Tools for Technology Transfer (STTT), rok: 2005, ročník: 7, vydání: 1
-
On Sampled Semantics of Timed Systems
Foundations of Software Technology and Theoretical Computer Science, rok: 2005
-
Test input generation for red-black trees using abstraction
Automated Software Engineering, rok: 2005
-
Under-Approximation Generation using Partial Order Reduction
Rok: 2005, počet stran: 21 s.
-
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
SOFSEM 2005: Theory and Practice of Computer Science, rok: 2005
2004
-
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
Formal Methods in Computer-Aided Design (FMCAD), rok: 2004