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
2008
-
Secure and Fault Tolerant Distributed Framework with Mobility Support
Grid Middleware and Services - Challenges and Solutions, rok: 2008
2006
-
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
10 years of CESNET - CESNET CONFERENCE 2006, rok: 2006
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Electronic Notes in Theoretical Computer Science, rok: 2006, ročník: 135, vydání: 2
-
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
International Journal on Software Tools for Technology Transfer (STTT), rok: 2006, ročník: 8, vydání: 3
-
Special Issue on Parallel and Distributed Verification - Foreword
Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2
2005
-
Assumption-based distribution of CTL model checking
International Journal on Software Tools for Technology Transfer (STTT), rok: 2005, ročník: 7, vydání: 1
-
Concrete Search with Abstract Matching and Refinement
Computer Aided Verification, rok: 2005
-
CRC64 Algorithm Analysis and Verification
Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Deeper Connections between LTL and Alternating Automata
Implementation and Application of Automata, rok: 2005
-
Distributed Partial Order Reduction of State Spaces
Electronic Notes on Theoretical Computer Science, rok: 2005, ročník: 128, vydání: 3