Automated Verification of Parallel and Distributed Systems
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 2 (SGA02003GA-ST)
Main participants
Masarykova univerzita / Fakulta informatiky
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Automatizovaná verifikace paralelních a distribuovaných systémů
Annotation in Czech
Projekt je zaměřen na analýzu a vývoj nových metod pro efektivní verifikaci souběžných systémů. Hlavní cíle a výzkumné priority lze shrnout takto: 1. Experimentální prostředí pro vyhodnocování verifikačních algoritmů. Zejména se jedná o vývoj nástrojůprosnadnější implementaci nových a modifikovaných algoritmů (např. v distribuovaném prostředí), pro integraci algoritmů a srovnání jejich praktické účinnosti. 2. Formální metody pro výpočetně těžké verifikační problémy. Zejména se jedná o výzkumomezených modelovacích jazyků z hlediska jejich vyjadřovací síly, které by však vedly k výpočetně efektivnějším verifikačním algoritmům (např. 1-safe Petri Nets, minimalizované nedeterministické konečné automaty). 3. Analýza a vývoj nových metod proexplictní a symbolickou verifikaci. 4. Dekompozice a paralelizace vybraných verifikačních problémů.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
JC - Computer hardware and software
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The main achievements of the project are in the development of new original methods and techniques for the automated verification of large-scale parallel and distributed systems, with emphasis on practical aspects of their application to real-life sys
Solution timeline
Realization period - beginning
Jan 1, 2003
Realization period - end
Jan 1, 2005
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP06-GA0-GA-U/07:6
Data delivery date
Jan 15, 2009
Finance
Total approved costs
3,254 thou. CZK
Public financial support
1,175 thou. CZK
Other public sources
2,079 thou. CZK
Non public and foreign sources
0 thou. CZK