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
2004
-
Using Accepting Predecessors in Distributed LTL Model-Checking
MOVEP'04: 6th school on MOdeling and VErifying parallel Processes, rok: 2004
-
Verification Process of Hardware Design in Liberouter Project
Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Verification Results in Liberouter Project
Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Visual Coordination Diagrams
Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language, rok: 2004
-
Visual Specification of Systems with Heterogeneous Coordination Models
Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, rok: 2004
2003
-
Distributed Explicit Bounded LTL Model Checking
Second International Workshop on Parallel and Distributed Model Checking, rok: 2003
-
Distributed Explicit Fair Cycle Detection
SPIN Workshop 2003, rok: 2003
-
Distribution of Explicit-State LTL Model-Checking
Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: Volume 80, vydání: 1
-
LTL Hierarchies and Model Checking
Proceedings of the Eight ESSLLI Student Session, rok: 2003
-
Packet header matching in Combo6 IPv6 router
Rok: 2003, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)