Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 4 (SGA02003GA2PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů
Annotation in Czech
Neustálý růst složitosti počítačových systémů spolu s růstem nároků na jejich spolehlivost jsou příčinou, proč je v současnosti věnována značná pozornost vývoji automatizovaných metod a nástrojů pro rigorózní verifikaci jejich korektnosti. Mezi systémy,jimž je věnována zvláštní pozornost, patří protokoly počítačových a telekomunikačních sítí, paralelní software řídicích a operačních systémů, hardwarové komunikační protokoly apod. Zatímco pro případ, že uvažované systémy mají konečný stavový prostor, již byla vyvinuta řada poměrně efektivních verifikačních metod, automatická verifikace nekonečně stavových a parametrických systémů je mnohem méně rozpracovaná. Řada typů těchto systémů významných pro praxi není pokryta žádnými verifikačními metodami, případně metody, které jsou dostupné, nejsou příliš efektivní. Na základě zkušeností navrhovatele se současnými možnostmi a omezeními těchto metod předkládaný projekt usiluje o jejich rozvoj směrem k vyšší efektivitě a širší aplikovatelnosti. Důraz bude
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
—
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>)
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 goal of the project was to contribute to the further development of automated formal verification by improving the existing and proposing new methods for model checking parametric and infinite-state systems (including, e.g., systems with a parametric
Solution timeline
Realization period - beginning
Jan 1, 2003
Realization period - end
Jan 1, 2006
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
CEP07-GA0-GP-U/03:2
Data delivery date
Oct 16, 2007
Finance
Total approved costs
604 thou. CZK
Public financial support
604 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK